Ace binding in editor: Ctrl-F broken

[martin-henz]

From Piazza: https://piazza.com/class/jg1gbtzfzh816w?cid=750

The editor is the Ace editor, you can find keyboard shortcuts here: https://github.com/ajaxorg/ace/wiki/Default-Keyboard-Shortcuts
Some useful shortcuts:

Jump to line number is Ctrl+L (Cmd+L on Mac)
Find next - highlight the token you want to find the next occurrence of and press Ctrl+K (Cmd+G on Mac).
I am not sure why Ctrl+F is broken.

[martin-henz]

From a previous issue:

Notably (and sorely) missing:
-p: go to the previous line