support for proportional fonts in CodeMirror is too buggy