Theseus + CodeMirror