Use CodeMirror as the editor