fix missing CodeMirror global