From 7aac105a07f5a7c47503b784d4b3fc945b0933cd Mon Sep 17 00:00:00 2001
From: Matthew Kastor <matthewkastor@gmail.com>
Date: Thu, 4 Apr 2013 20:20:02 -0400
Subject: [PATCH] augments Editor.prototype

---
 lib/ace/ext/show_settings_menu.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/ace/ext/show_settings_menu.js b/lib/ace/ext/show_settings_menu.js
index 5b87f0d9..7c94e420 100644
--- a/lib/ace/ext/show_settings_menu.js
+++ b/lib/ace/ext/show_settings_menu.js
@@ -55,6 +55,7 @@
 
 define(function(require, exports, module) {
     "use strict";
+    var Editor = require("ace/editor").Editor;
     var overlayPage = require('./menu_tools/overlay_page').overlayPage;
     var addEditorMenuOptions = require('./menu_tools/add_editor_menu_options').addEditorMenuOptions;
     
@@ -390,4 +391,8 @@ define(function(require, exports, module) {
             generateMenu(editor);
         }
     };
+    Editor.prototype.showSettingsMenu = function () {
+        module.exports.showSettingsMenu(this);
+    };
+    
 });
\ No newline at end of file