upgraded to CodeMirror 3.12