https://github.com/ajaxorg/ace/wiki/Default-Keyboard-Shortcuts