From 3b01eb9bac02db8c171a9b2ae64b40d75de5c8e5 Mon Sep 17 00:00:00 2001 From: Fabian Jakobs Date: Tue, 13 Dec 2011 12:21:47 +0100 Subject: [PATCH] cleanups --- lib/ace/commands/default_commands.js | 2 +- lib/ace/split.js | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/lib/ace/commands/default_commands.js b/lib/ace/commands/default_commands.js index 138d11c6..1340cafa 100644 --- a/lib/ace/commands/default_commands.js +++ b/lib/ace/commands/default_commands.js @@ -63,7 +63,7 @@ exports.commands = [{ name: "gotoline", bindKey: bindKey("Ctrl-L", "Command-L"), exec: function(editor) { - var line = parseInt(prompt("Enter line number:")); + var line = parseInt(prompt("Enter line number:"), 10); if (!isNaN(line)) { editor.gotoLine(line); } diff --git a/lib/ace/split.js b/lib/ace/split.js index 06f05b6b..8814ad6f 100644 --- a/lib/ace/split.js +++ b/lib/ace/split.js @@ -39,7 +39,6 @@ define(function(require, exports, module) { var oop = require("./lib/oop"); -var dom = require("./lib/dom"); var lang = require("./lib/lang"); var EventEmitter = require("./lib/event_emitter").EventEmitter; @@ -76,7 +75,6 @@ var Split = function(container, theme, splits) { el.className = this.$editorCSS; el.style.cssText = "position: absolute; top:0px; bottom:0px"; this.$container.appendChild(el); - var session = new EditSession(""); var editor = new Editor(new Renderer(el, this.$theme)); editor.on("focus", function() { @@ -189,7 +187,7 @@ var Split = function(container, theme, splits) { }; this.setSession = function(session, idx) { - var editor + var editor; if (idx == null) { editor = this.$cEditor; } else {