[Eric] Is editor font size setting working?

[Xaver Wurzenberger]

Ah.. indeed, it works.
You realize that most people will not find this though, right?
Maybe you want to consider packing all fonts options together... or having a 
master switch/wheel/menu ("all fonts some points bigger or smaller")... or at 
least putting a comment in the Fonts section that most fonts have to be set in 
the highlighting section.
And as I said earlier, maybe you should consider making the default font sizes 
a bit bigger. 9 pts. is very small, with modern display resolutions even 
more...
Thanks&Regards,
Xaver

Am Freitag 15 Oktober 2010, 19:13:57 schrieben Sie:
> On Freitag, 15. Oktober 2010, Xaver Wurzenberger wrote:
> > Hi guys,
> > 
> > just a quick question:
> > 
> > When I start eric, the font size in the editor window/widget/tab/... is
> > awfully small (maybe around 9, maybe consider making the default
> > bigger?). I intended to change this by setting a different font (size)
> > in
> > Settings->Preferences->Editor->Style->Font
> > However, whatever value I set for the two fonts ("Default text font" and
> > "Monospaced font"), nothing seems to change in the editor widget, not
> > even after a restart.
> 
> That is to be expected for files showing some syntax highlighting. These
> are configured under Highlighter->Styles.
> 
> Detlev