Upgrade to CodeMirror 4