Fix undesirable selection-mangling in indentLine

Issue #1910
codemirror · Oct 26, 2013 · 759b3a0 · 759b3a0 · njx · Nov 1, 2013
1 parent ae0640c
commit 759b3a0
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -2759,9 +2759,7 @@ window.CodeMirror = (function() {
       for (var i = Math.floor(indentation / tabSize); i; --i) {pos += tabSize; indentString += "\t";}
     if (pos < indentation) indentString += spaceStr(indentation - pos);
 
-    if (indentString == curSpaceString)
-      setSelection(cm.doc, Pos(n, curSpaceString.length), Pos(n, curSpaceString.length));
-    else
+    if (indentString != curSpaceString || doc.sel.head.line == n && doc.sel.head.ch < curSpaceString.length)
       replaceRange(cm.doc, indentString, Pos(n, 0), Pos(n, curSpaceString.length), "+input");
     line.stateAfter = null;
   }