use CodeMirror version 3.2