CodeMirror v3.12