Another iteration on pushing the selection forward on no-change reind…

…ents
codemirror · Nov 3, 2013 · dcf0b65 · dcf0b65
1 parent 01e9fbb
commit dcf0b65
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -2759,8 +2759,10 @@ 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 || doc.sel.head.line == n && doc.sel.head.ch < curSpaceString.length)
+    if (indentString != curSpaceString)
       replaceRange(cm.doc, indentString, Pos(n, 0), Pos(n, curSpaceString.length), "+input");
+    else if (doc.sel.head.line == n && doc.sel.head.ch < curSpaceString.length)
+      setSelection(doc, Pos(n, curSpaceString.length), Pos(n, curSpaceString.length), 1);
     line.stateAfter = null;
   }