Open ulysses4ever opened 3 years ago
The package filter box is a component called Chosen - https://github.com/ndmitchell/hoogle/blob/master/html/plugin/chosen-jquery.js. I note we're on v1.3, while the upstream repo https://github.com/harvesthq/chosen is on 1.8.7 and is also deprecated. Might be worth upgrading to 1.8.7, or moving to something else if someone has a good idea
FTR: I've tried 1.8.7: it does not seem to have much difference (PgUp is treated slightly differently but not what I'd expect).
Hello and thanks a lot for the wonderful tool!
I mostly use Web UI on hoogle.haskell.org. I like it a lot, but one thing that I'd like to see improved is that it'd be nice to have Page Up / Page Down keys work in the package filter box.
Also, arrow keys work strange: the Down Arrow key works fine for me, but the Up Arrow key moves focus nack to the search input. That's on recent Firefox + Ubuntu.