[Eric] Is editor font size setting working?
xaver.xn at web.de
Fri Oct 15 10:25:10 BST 2010
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
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.
More information about the Eric