marijnh/CodeMirror — pull request #830 by bfrohs (2012-09-15 17:10:04+00:00)
Title: Fix issue with overwrite functionality (closes #828).

Just in case @azawawi doesn't submit a pull request for his patch.