change CodeMirror v3.10 to v3.15