listen to keystrokes outside codemirror

[pfraces]

needed to hide the console because when console is open codemirror must be without focus and therefore its keybindings does not respond

this implies:

• search for existent libraries
• create lib if there is a gap
• capturing keys: set priorities on framework, editor and console

[pfraces]

The printable keystrokes are not duplicated in console and editor, so we can work around this by changing the codemirror keymap and listen just for Ctrl-C (or whatever shortcut) causing console to close and switching to standard keymap

this implies:

• how to define codemirror commands: CodeMirror.commands.myCommand = function () { ... }
• how to load a custom keymap: cm.addKeyMap(km)
• how to switch between keymaps: cm.removeKeyMap(km)
• what happens to extraKeys when switching keymaps: addKeyMap gets priority
• create a keymap for the console: done
• split toggleConsole in openConsole and closeConsole commands

I still think is a good thing to capture keystrokes from outside codemirror, but in the meanwhile this proposal can be easier to implement (shortcut parser is a codemirror builtin) and forces me to learn how to manage keymaps in codemirror

[pfraces]

codemirror builtin keymaps

[pfraces]

workarounded with secondary proposal