-
Sébastien Wilmet authored
"Search forward" is not a good name, because it can be confused with the normal search and replace feature, to go to the next search occurrence. Ideally I would prefer to document the Ctrl+click shortcut directly in the menu item, instead of Ctrl+alt+f.
25569642