marijnh/CodeMirror — pull request #1229 by njx (2013-02-08 17:58:15+00:00)
Title: Fix recently introduced typo

Found while eyeballing recent commits (didn't actually encounter a bug or verify it).