src/editor/Editor.js
function _onKeyEvent(instance, event) {
            self.trigger("keyEvent", self, event);  // deprecated
            self.trigger(event.type, self, event);
            return event.defaultPrevented;   // false tells CodeMirror we didn't eat the event
        }
function _onKeyEvent(instance, event) {
            self.trigger("keyEvent", self, event);  // deprecated
            self.trigger(event.type, self, event);
            return event.defaultPrevented;   // false tells CodeMirror we didn't eat the event
        }
function _onKeyEvent ( instance , event ) { self . trigger ( "keyEvent" , self , event ) ; // deprecated self . trigger ( event . type , self , event ) ; return event . defaultPrevented ; // false tells CodeMirror we didn't eat the event }
Redispatch these CodeMirror key events as Editor events
Redispatch these CodeMirror key events as Editor events