marijnh/CodeMirror — pull request #1734 by twiss (2013-08-10 12:49:37+00:00)
Title: Fix linenumbers when undoing multiple changes

To reproduce, for example create two selections on different lines, press enter twice and undo once.