thankyouverycool 21ba9c808e Help: Improve search ergonomics ...

Up and down arrows now select search results. Matching index now
displays in full before filtering. Searching from the command
line focuses the query, and searches are now case insensitive.

2022-03-02 21:37:58 +01:00

6.0 KiB

Raw Blame History

View Raw