Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add the ViewportHeader widget #2312

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Commits on Jan 15, 2023

  1. implement ViewportHeader

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    c044ea3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8f24587 View commit details
    Browse the repository at this point in the history
  3. quick safe

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    83f81b9 View commit details
    Browse the repository at this point in the history
  4. update names and docs

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    9aa6ab7 View commit details
    Browse the repository at this point in the history
  5. update docs

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    b199525 View commit details
    Browse the repository at this point in the history
  6. reformat

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    6707f20 View commit details
    Browse the repository at this point in the history
  7. fix

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    2549853 View commit details
    Browse the repository at this point in the history
  8. fix clippy

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    ec2d89e View commit details
    Browse the repository at this point in the history
  9. - fix scroll bug like described in linebender#2291

    - update example
    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    68b91dd View commit details
    Browse the repository at this point in the history
  10. update documentation

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    6778e85 View commit details
    Browse the repository at this point in the history
  11. improved example

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    2ddc77f View commit details
    Browse the repository at this point in the history
  12. reformat

    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    7d0fef1 View commit details
    Browse the repository at this point in the history
  13. reformat

    fix clippy suggestions
    xarvic committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    a0f7621 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2023

  1. reformat

    fix clippy suggestions
    xarvic committed Jan 21, 2023
    Configuration menu
    Copy the full SHA
    9d446b2 View commit details
    Browse the repository at this point in the history