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 history panel for improved usability #2306

Open

VyacheslavPritykin opened this issue Nov 4, 2024 · 1 comment

Labels

VyacheslavPritykin commented Nov 4, 2024

The current "History" panel is quite limiting:

the maximum history depth is only 50, and it is not configurable
there is no search functionality in the History panel
the panel is too narrow, showing only a small portion of the query, making it very difficult to find anything. Users must rely on tooltips (which is slow) or select and check each query

Consider incorporating the history panel functionality into the main search bar

VyacheslavPritykin added the enhancement label

Member

nblumhardt commented Nov 13, 2024

Thanks for the notes on this. We're keen to improve History.

Just regarding point 2., if you type in the filter box at the top of the signal bar, this will apply to History:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment