use CodeMirror as editor