|UI main fonts [message #593739]
||Mon, 12 November 2007 09:45
Originally posted by: wojtekmichalik.softtellco.com.pl|
I use Version: 22.214.171.124
Build id: M20071023-1652
linux with gnome with 1.5 JDK
Experimenting with "Preferences -> General -> Apperance -> Fonts & Colors"
I can not find any way of changing font used for main menu and views
like package explorer, navigator, outline etc.
I would like to make this fonts smaller. The only way to acheive this is
to change font size for whole desktop which I do not want to do.
Any clues ???
Powered by FUDForum
. Page generated in 0.01505 seconds