Hi, I have a few font-problems with eric3 and I'd like to know if there is a solution for them.
1. The font for the shell is rather big, I think it's 14pt or something (which is too big for 130dpi) 2. The font for the auto-completion is about the same size, thus making the list rather large. Is there a way to change these - apart from hacking the source? I can change the monospace and the line-font for the editor, but I did not find any other font-changing options.. Andreas -- A day for firm decisions!!!!! Or is it? _______________________________________________ PyKDE mailing list [email protected] http://mats.imk.fraunhofer.de/mailman/listinfo/pykde
