PencilCode/pencilcode-site — pull request #2 by davidbau (2014-01-20 02:14:21+00:00)
Title: Fix repeated Ctrl-F and also capture some global key bindings.

This change improves some keyboard bindings in the IDE: it fixes ctrl-F so that it is not as dangerous, and it also intercepts ctrl-S and ctrl-F from the browser so that it executes IDE Save and Find functions instead of browser save and find.