From dbbacf7fc32d1476fc6d323fb9cfa8a6fae6a23b Mon Sep 17 00:00:00 2001 From: Ruben Daniels Date: Mon, 2 Apr 2012 18:35:37 -0700 Subject: [PATCH] * Removed comment --- lib/ace/editor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/ace/editor.js b/lib/ace/editor.js index f0cc2fa3..ec89b4b7 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -1210,7 +1210,7 @@ var Editor = function(renderer, session) { if (range) { this.session.unfold(range); this.$blockScrolling += 1; - this.selection.setSelectionRange(range); // this scrolls selection into view + this.selection.setSelectionRange(range); this.$blockScrolling -= 1; var cursor = this.getCursorPosition();