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.

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

Add search option #6

Open
popey opened this issue Nov 12, 2024 · 0 comments
Open

Add search option #6

popey opened this issue Nov 12, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@popey
Copy link
Owner

popey commented Nov 12, 2024

It would be good to have a hotkey for search (for example, /) that opens a search box somewhere on the screen.

It should be a popup dialog with a rich search, allowing you to choose whether the term is a package name, vulnerability ID, or some other metadata. Alternatively should just be using the status bar at the bottom of the screen.

I like the idea of a popup with one field and a few radio buttons for each search type.

Like Vim, pressing / the first time should bring up the search box (wherever it is). I imagine that pressing / [Enter] should go to the following result. But if we use a modal-style pop-over box, having it pop over might get annoying every time you repeat the search.

The further thought might be to have the pop-over triggered by the initial search key, with a separate key used for 'find next' or 'repeat search' and maybe another key for 'find previous'.

@popey popey added the enhancement New feature or request label Nov 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant