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

Index of search result #1840

Merged
merged 4 commits into from
Aug 27, 2023
Merged

Index of search result #1840

merged 4 commits into from
Aug 27, 2023

Commits on Aug 27, 2023

  1. show index of current selected search result

    @extrawurst
    extrawurst committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    1caf838 View commit details
    Browse the repository at this point in the history

  2. optimize via caching

    @extrawurst
    extrawurst committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    0fa50d5 View commit details
    Browse the repository at this point in the history

  3. better messaging

    @extrawurst
    extrawurst committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    02c220c View commit details
    Browse the repository at this point in the history

  4. fix sorting

    @extrawurst
    extrawurst committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    a332fda View commit details
    Browse the repository at this point in the history