"Find next" F3 Shortcut


#1

This shortcut exists in countless other programs including all other major browsers, and I think it’s implementation is a no brainer.

Further, shift+F3 should correspond to “Find previous”.

Thanks


#2

There is an issue logged for this feature to be implemented. You can track it here


#3