Font size problem

[Tomasz]

Hi there,

I try to change font size of text in the CodeMirror editor and there
is something wrong with formatting. I have activate line numbers and
already some text in html tag in the editor section. After first load
text overlaps line numbers. Is it a bug or something I do wrong. I
tried ".refresh();" as well, but nothing happend. What is strange that
when I press enter text is reformatted and everything is ok.

To change font size I use $('form').css('font-size', '32px');

Tomasz

[Marijn Haverbeke]

Thanks for the report. It seems refresh wasn't detecting font size
changes properly. I've pushed a patch to the repository that fixes
this. You'll still have to call refresh(), but at least it'll pick up
the change right away.