Feb 26, 2023

Search result step over result with arrow keys

When using global search (shift+cmd+F) it would be super-handy if one could step over the different results with arrow-down arrow-up keys and not have to use the mouse.

Pending