upgraded to CodeMirror 4.8