KDevelop: How to change GUI font-size?

[series]

How do I change the font-size in the marked areas in the picture below? They got bigger for no apparent reason.

I've tried to change various fonts in kcontrol and the gnome-tools, but with no effect.


http://hem.bredband.net/b218521/kdevelop.png

[baRRacuda]

If you are using KDE, you can do it using KControl > Fonts. If you are a Gnome user; type
sudo apt-get install kcontrol
then
sudo kcontrol

[series]

Yes, sudo instead of # did it.