have you patched this file yourself, or is it just a new version from codemirror?