[PyKDE] eric3 and fonts

[Andreas Pakulat]

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?