diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index d683be2a..fb8e9dd7 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -47,8 +47,6 @@ 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;
 
 /**
  *
@@ -2200,21 +2198,6 @@ 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);
-    };
-    
     
 
     this.$resetCursorStyle = function() {