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