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.

Sign up for GitHub

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

Jump to bottom

Enhanced jump mode (based on #3791) #5340

Closed
wants to merge 4 commits into from
Closed

Enhanced jump mode (based on #3791) #5340

wants to merge 4 commits into from
+1,132 −59

Commits on Jul 5, 2023

  1. Implement jump mode

    @semin-park
    semin-park committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    a5df534 View commit details
    Browse the repository at this point in the history

  2. Add jump colors to theme files

    @semin-park
    semin-park committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    183a5f1 View commit details
    Browse the repository at this point in the history

  3. Let jump keys be configurable

    @semin-park
    semin-park committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    35ff1cc View commit details
    Browse the repository at this point in the history

  4. Add jump-mode section in the configuration book

    @semin-park
    semin-park committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    fafadd5 View commit details
    Browse the repository at this point in the history