removes requires from Editor
This commit is contained in:
parent
b0e496de88
commit
0631a708bc
1 changed files with 0 additions and 17 deletions
|
|
@ -47,8 +47,6 @@ var EventEmitter = require("./lib/event_emitter").EventEmitter;
|
||||||
var CommandManager = require("./commands/command_manager").CommandManager;
|
var CommandManager = require("./commands/command_manager").CommandManager;
|
||||||
var defaultCommands = require("./commands/default_commands").commands;
|
var defaultCommands = require("./commands/default_commands").commands;
|
||||||
var config = require("./config");
|
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() {
|
this.$resetCursorStyle = function() {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue