CodeMirror 4.2