From 24a00578c64d8ad8ee65f368148dcae522399eaa Mon Sep 17 00:00:00 2001 From: Matthew Kastor Date: Mon, 1 Apr 2013 16:01:07 -0400 Subject: [PATCH] removed unnecessary function since I've moved the functions to the editor and session objects themselves I can get rid of this. --- lib/ace/ext/show_settings_menu.js | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/lib/ace/ext/show_settings_menu.js b/lib/ace/ext/show_settings_menu.js index 3dc1a789..823ca3d1 100644 --- a/lib/ace/ext/show_settings_menu.js +++ b/lib/ace/ext/show_settings_menu.js @@ -58,18 +58,6 @@ define(function(require, exports, module) { var overlayPage = require('./overlay_page').overlayPage; var addEditorMenuOptions = require('./add_editor_menu_options').addEditorMenuOptions; - /** - * These functions are necessary for the settings menu - * to provide a couple really useful settings. - * @author - * Matthew Christopher Kastor-Inare III
- * ☭ Hial Atropa!! ☭ - * @param {ace.Editor} editor An instance of the ace editor. - */ - function addFunctionsForSettingsMenu (editor) { - // when building the settings menu matching get and set functions - // must be found or the function will be ignored - } /** * Generates a list of set functions for the settings menu. * @author @@ -391,7 +379,6 @@ define(function(require, exports, module) { module.exports.showSettingsMenu = function showSettingsMenu (editor) { // make sure the menu isn't open already. if(!document.getElementById('settingsmenu')) { - addFunctionsForSettingsMenu(editor); addEditorMenuOptions(editor); generateMenu(editor); }