diff --git a/lib/ace/editor.js b/lib/ace/editor.js index 8e9307f5..87c51790 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -120,6 +120,7 @@ var Editor = function(renderer, session) { } }; + /** * Returns the keyboard handler, such as "vim" or "windows". * @@ -170,6 +171,7 @@ var Editor = function(renderer, session) { selection.removeEventListener("changeSelection", this.$onSelectionChange); } + this.session = session; this.$onDocumentChange = this.onDocumentChange.bind(this); @@ -2190,10 +2192,17 @@ var Editor = function(renderer, session) { }; }; + /** + * Displays a menu for changing settings. + */ this.showSettingsMenu = function () { showSettingsMenu(this); }; + /** + * Displays a menu showing all keyboard shortcuts applicable to the current + * platform. + */ this.showKeyboardShortcuts = function () { showKeyboardShortcuts(this); };