marijnh/CodeMirror — pull request #2715 by vrana (2014-07-21 19:23:01+00:00)
Title: Expand selection after indenting

See #2705 for discussion.