fix on our side for ttps://github.com/marijnh/CodeMirror/issues/2289