New version (3.19) of CodeMirror