I just installed codemirror for the first time, and it seems quite outstanding for editing anything with code. But I'm not that interested in using it for ordinary editing because the fonts are kinda large and I don't need monospacing when I'm just writing plain text. So there are a couple things that would be helpful that weren't obvious to me --
* can I get a button on the toolbar that would toggle whether I'm using CodeMirror or the vanilla editor?
* is there a place to change the font-size of the CodeMirror editor text?
Thanks!