Re add codemirror

This was removed, and then @mwhite pointed out that the issue was easy to fix (and had already been fixed in d651cfd5b867).