[BLUEJ-301] add find f3 key shortcut
When finding things in the editor, there doesn't seem to be a key for selecting the next and previous found items.
I'd like to nominate F3 and shift+F3 for next and back; by convention lots of applications already use them. F3 is currently reserved for 'paste-from-clipboard' and so would need to be removed from that.
Issue metadata
- Issue type: Task
- Priority: Medium
- Fix versions: 3.0.6