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

UI: Add truncation of rendered search results #8571

Merged
merged 2 commits into from
Aug 5, 2020
Merged

UI: Add truncation of rendered search results #8571

merged 2 commits into from
Aug 5, 2020

Commits on Jul 30, 2020

  1. Add truncation of rendered search results 

    This closes #8549. Thanks to @optiz0r for the bug report. Having
the global search attempt to render every returned result is
obviously a mistake!

I chose to have the full number of matches still render, though
I also considered having it display (10+) instead. The choice of
truncating at 10 is arbitrary, maybe a higher number would be
preferable, I’m open to suggestions.
    @backspace
    backspace committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    d9fb138 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2020

  1. Add truncation details to group heading

    @backspace
    backspace committed Aug 5, 2020
    Configuration menu
    Copy the full SHA
    0975f02 View commit details
    Browse the repository at this point in the history