isker
commented
6 months ago perhaps some kind of sticky UI for search
Turns out that having multiple sticky elements (i.e. the existing file headers plus the search form) is not really possible to do without lots of fiddling in JS, given that the search form and file headers are in different containers. I'm not so sure it's a good idea to have any complex interactive UI (like the entire form element) be sticky anyway.
If you've scrolled down to the bottom of a big stack of results, the small indication in the search UI that there are either more matches or more files isn't even in the viewport. There should at least be some indication at the bottom of the results that there are more results, and some way to get them without scrolling back up to the search UI. Or perhaps some kind of sticky UI for search.
Perhaps the existing indication in the search UI needs to also become more obvious.