marijnh/CodeMirror — pull request #832 by bfrohs (2012-09-16 20:33:05+00:00)
Title: Fix a few more issues introduced by the refactor (closes #831).

Fixed issues mentioned in #831 and any other issues I found along the way.