make sure indenting a line causes the cursor to end up after leading …

…whitespace, even if the indentation is not adjusted (thanks to Danny Yoo)
andres-blanco · Jul 29, 2010 · 2744957 · 2744957
1 parent a8e378e
commit 2744957
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/js/editor.js b/js/editor.js
@@ -929,6 +929,10 @@ var Editor = (function(){
                               whiteSpace.firstChild, newIndent, false, true);
         }
       }
+      // Make sure cursor ends up after the whitespace
+      else if (whiteSpace) {
+	select.snapshotMove(whiteSpace.firstChild, whiteSpace.firstChild, newIndent, false);
+      }
       if (indentDiff != 0) this.addDirtyNode(start);
     },