6 Sep
2008
6 Sep
'08
11:36 p.m.
Jorge wrote:
On Sat, Sep 06, 2008 at 07:17:49PM +0000, corvid wrote:
Johannes wrote:
recently the the default font_factor was changed from 1.0 to 1.2. Is there a reason for this change?
I think 1.2 was the uncommented value in the old dillorc2.
It would have made more sense for me to leave it as 1.0 and change the elevens and twelves that it gets multiplied by...
Yeah, having it 1.0 and scaling the base size makes sense to me.
attached.