adds show kb & settings menu to editor
This commit is contained in:
parent
c9f0439cf3
commit
f6d1c1167c
2 changed files with 12 additions and 5 deletions
|
|
@ -45,11 +45,6 @@ exports.commands = [{
|
||||||
name: "showSettingsMenu",
|
name: "showSettingsMenu",
|
||||||
bindKey: bindKey("Ctrl-,", "Command-,"),
|
bindKey: bindKey("Ctrl-,", "Command-,"),
|
||||||
exec: function (editor) {
|
exec: function (editor) {
|
||||||
}, {
|
|
||||||
name: "selectall",
|
|
||||||
bindKey: bindKey("Ctrl-A", "Command-A"),
|
|
||||||
exec: function(editor) { editor.selectAll(); },
|
|
||||||
readOnly: true
|
|
||||||
}, {
|
}, {
|
||||||
name: "centerselection",
|
name: "centerselection",
|
||||||
bindKey: bindKey(null, "Ctrl-L"),
|
bindKey: bindKey(null, "Ctrl-L"),
|
||||||
|
|
|
||||||
|
|
@ -47,6 +47,8 @@ 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;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
*
|
*
|
||||||
|
|
@ -2188,6 +2190,16 @@ var Editor = function(renderer, session) {
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
|
this.showSettingsMenu = function () {
|
||||||
|
showSettingsMenu(this);
|
||||||
|
};
|
||||||
|
|
||||||
|
this.showKeyboardShortcuts = function () {
|
||||||
|
showKeyboardShortcuts(this);
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
this.$resetCursorStyle = function() {
|
this.$resetCursorStyle = function() {
|
||||||
var style = this.$cursorStyle || "ace";
|
var style = this.$cursorStyle || "ace";
|
||||||
var cursorLayer = this.renderer.$cursorLayer;
|
var cursorLayer = this.renderer.$cursorLayer;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue