diff --git a/lib/ace/editor.js b/lib/ace/editor.js index 67ff0735..8f07fc40 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -595,8 +595,6 @@ var Editor =function(renderer, session) { return; if (!this.selection.isEmpty()) { - //this.session.remove(this.getSelectionRange()); - //this.clearSelection(); return; }