tweak CodeMirror