marijnh/CodeMirror — pull request #1905 by njx (2013-10-22 22:44:45+00:00)
Title: Always move cursor to end of indent even if whitespace didn't change

Currently, if you indent a line, the cursor is inside the whitespace at the beginning of the line, and CodeMirror determines that the whitespace needs to change, the cursor moves to the end of the indenting whitespace, which makes sense. However, if no change to the whitespace is needed, the cursor stays at its current location, which leads to inconsistent behavior. It would make sense to always move the cursor to the end of the indenting whitespace so the user is ready to type, even if there happens to already be the right amount of whitespace on the line. This proposed patch fixes that.