[PyKDE] eric3 font sizes

[Detlev Offenbach]

Am Montag, 14. Februar 2005 04:46 schrieb Calvin Spealman:
> After I finally found the font sizes I found it is not, in fact, what I
> needed. I wanted to change the zoom level, and changing the font size is
> very different from that. Unfortunately, whatever I change the font size
> to, the lines are still the same height, and so there is no change in how
> many lines I can view on the screen at one time, which is my reason for the
> change.

If you change the fontsize for the line number margin as well, the line height 
should change to the highest value of the highlighter fonts and the margin 
font. The zoom level is always 0 as the default.

Detlev
-- 
Detlev Offenbach
detlev at die-offenbachs.de