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();