5 Nov
2007
5 Nov
'07
1:34 p.m.
On Sun, Nov 04, 2007 at 08:01:48AM +0000, Jeremy Henty wrote:
Just out of interest, is there any reason why the default dillorc2 sets font_factor to 1.5?
Yes. It slipped out of my dillorc (I'm using a high resolution laptop). :-)
It seems unreasonably large to me, and I personally much prefer to comment it out. Anyone else have feelings one way or the other?
Now it's set to 1.0. I think 1.2 is better, but hope the current 1.0 to bring comments! ;-) -- Cheers Jorge.-