V�ctor R. Ruiz wrote:
This was a prolem for me too. I found it quite annoying to change all the fonts to something else like Courier New because I had to individually change every different font style (Comment, Numbers, etc.). It would be nice if there was a "Change All Styles Font" button where I could select one font to use for _all_ the styles.- The default fonts are too big
Ciao,
Gordon
_______________________________________________
PyKDE mailing list [EMAIL PROTECTED]
http://mats.gmd.de/mailman/listinfo/pykde
