remove undefined editor variable

This commit is contained in:
nightwing 2012-06-29 23:16:53 +04:00
commit fed582bda6
2 changed files with 5 additions and 11 deletions

View file

@ -39,7 +39,7 @@
define(function(require, exports, module) {
"never use strict";
"use strict";
require("ace/lib/fixoldbrowsers");
require("ace/config").init();
@ -265,7 +265,7 @@ split.on("focus", function(editor) {
});
env.split = split;
window.env = env;
window.editor = window.ace = env.editor;
window.ace = env.editor;
env.editor.setAnimatedScroll(true);
var consoleEl = dom.createElement("div");
@ -339,12 +339,6 @@ commands.addCommand({
exec: function() {alert("Fake Save File");}
});
commands.addCommand({
name: "print",
bindKey: {win: "Ctrl-P", mac: "Command-P"},
exec: function(editor) {editor.session.setValue("please,\ndo not waste paper\n");}
});
var keybindings = {
// Null = use "default" keymapping
ace: null,