From f6d1c1167c55450e230018fb19733f5a971518af Mon Sep 17 00:00:00 2001
From: Matthew Kastor <matthewkastor@gmail.com>
Date: Mon, 1 Apr 2013 15:34:51 -0400
Subject: [PATCH] adds show kb & settings menu to editor

---
 lib/ace/commands/default_commands.js |  5 -----
 lib/ace/editor.js                    | 12 ++++++++++++
 2 files changed, 12 insertions(+), 5 deletions(-)

diff --git a/lib/ace/commands/default_commands.js b/lib/ace/commands/default_commands.js
index 658deb87..fe58bb53 100644
--- a/lib/ace/commands/default_commands.js
+++ b/lib/ace/commands/default_commands.js
@@ -45,11 +45,6 @@ exports.commands = [{
     name: "showSettingsMenu",
     bindKey: bindKey("Ctrl-,", "Command-,"),
     exec: function (editor) {
-}, {
-    name: "selectall",
-    bindKey: bindKey("Ctrl-A", "Command-A"),
-    exec: function(editor) { editor.selectAll(); },
-    readOnly: true
 }, {
     name: "centerselection",
     bindKey: bindKey(null, "Ctrl-L"),
diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index 14174422..8e9307f5 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -47,6 +47,8 @@ var EventEmitter = require("./lib/event_emitter").EventEmitter;
 var CommandManager = require("./commands/command_manager").CommandManager;
 var defaultCommands = require("./commands/default_commands").commands;
 var config = require("./config");
+var showSettingsMenu = require("./ext/show_settings_menu").showSettingsMenu;
+var showKeyboardShortcuts = require("./ext/show_keyboard_shortcuts").showKeyboardShortcuts;
 
 /**
  *
@@ -2187,6 +2189,16 @@ var Editor = function(renderer, session) {
             this.renderer.removeEventListener("beforeRender", onBeforeRender);
         };
     };
+    
+    this.showSettingsMenu = function () {
+        showSettingsMenu(this);
+    };
+    
+    this.showKeyboardShortcuts = function () {
+        showKeyboardShortcuts(this);
+    };
+    
+    
 
     this.$resetCursorStyle = function() {
         var style = this.$cursorStyle || "ace";