[Eric] Is editor font size setting working?

[Xaver Wurzenberger]

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.

Is that the right place to set the default font size? Did I miss anything? Is 
it maybe broken?

In case this is considered a bug, please point me to the appropriate bug 
tracker because I can't seem to find any.

Regards,
Xaver