Current search box is cute but I think it may become more productive. What do you think about a filter box instead?
Search settings is a popup here which is opened/closed by the triangle icon (or whatever the actual icon is)
Filtering is dynamic as the user types
Gives more control over the result set (you can click on and manipulate individual filtered items)
Searching in everything feature is added
Ctrl+F instead of Ctrl+S to jump to the filterbox with the cursor
Filtering can be cancelled via the X button or ESC.
Maybe there should be an indication if the item list is the full list or a filtered out list (maybe yellow background for the filter results?)
I've opened this feature request for future reference. I'm aware that implementation is not easy and dev(s) may be busy with their life.
Finally I want to say that I'm very surprised why this excellent software is under 30K GitHub stars! Huge functionality, very simple UI design, great browser entegration via passing cookies and headers to the app... And all these for 500KB. Thanks for developing this in the open.
It might require a bit of a revamp to get working, but I'll consider it for the future. Generally I'm pretty content with everything that's been implemented as it meets my needs.
Current search box is cute but I think it may become more productive. What do you think about a filter box instead?
I've opened this feature request for future reference. I'm aware that implementation is not easy and dev(s) may be busy with their life.
Finally I want to say that I'm very surprised why this excellent software is under 30K GitHub stars! Huge functionality, very simple UI design, great browser entegration via passing cookies and headers to the app... And all these for 500KB. Thanks for developing this in the open.