On Wednesday 27 November 2002 17:19, Gordon Tyler wrote: > Víctor R. Ruiz wrote: > > - The default fonts are too big > > 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.
Implying, you're using eric3 on some unix derivate, try using an editor with search and replace in [Scintilla] section of ~/.eric3/eric3rc. Been there, done that, now it fits me needs. Note: you cannot use eric3 itself for that task. > Ciao, > Gordon Hans-Peter _______________________________________________ PyKDE mailing list [EMAIL PROTECTED] http://mats.gmd.de/mailman/listinfo/pykde
