The global CodeMirror doesn't seem to be used anymore. It can also be removed from `EditorManager`