Updated to CodeMirror-4