PDA

View Full Version : KDevelop: How to change GUI font-size?



series
December 1st, 2005, 01:54 PM
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
December 1st, 2005, 02:03 PM
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
December 1st, 2005, 02:23 PM
Yes, sudo instead of # did it.