Eclipse Community Forums - RDF feed
https://www.eclipse.org/forums/
Eclipse Community ForumsUI main fonts
https://www.eclipse.org/forums/index.php/mv/msg/187166/593739/#msg_593739
Originally posted by: wojtekmichalik.softtellco.com.pl
Hello !
I use Version: 3.3.1.1
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.