marijnh/CodeMirror — pull request #1878 by AndreyNikitin (2013-10-10 13:29:20+00:00)
Title: Prevent collaborative undo

fixes #178 on client