Use CodeMirror for the editor.