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

Improve search interface #128

Closed

Waguramu opened this issue Jun 14, 2024 · 0 comments

Milestone

Contributor

Waguramu commented Jun 14, 2024 •

edited by josephbirkner

Loading

Make the search input element multiline on focus/hover. Hide the overflow otherwise.
Fix Too Many Entries: When entering a jump-to request, there are too many entries of potential jump-to targets. E.g., there are three different entries for 'Jump To Lane' which are always visible - jumping to a WGS84 location needs scrolling.
Allow filtering of the search options?
Button to indicate that search results are still present

Waguramu changed the title ~~Improve search GUI~~ Improve search interface

josephbirkner added this to the 2024.4 milestone

Waguramu mentioned this issue

Add search history and UI changes #149

Merged

Waguramu mentioned this issue

Release 2024.4 #146

Merged

josephbirkner closed this as completed

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