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 [EMAIL PROTECTED] _______________________________________________ PyKDE mailing list [email protected] http://mats.imk.fraunhofer.de/mailman/listinfo/pykde
