CodeMirror 4.7