A simple UI for the CodeMirror text editor.