Skip to main content



      Home
Home » Eclipse Projects » Platform - User Assistance (UA) » UI main fonts
UI main fonts [message #470856] Mon, 12 November 2007 04:45 Go to next message
Eclipse UserFriend
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.

Any clues ???


Wojtek Michalik
Re: UI main fonts [message #470858 is a reply to message #470856] Mon, 12 November 2007 09:37 Go to previous message
Eclipse UserFriend
Wojtek Michalik wrote:
> 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.

Eclipse takes those fonts from the system settings; they can not be
changed for Eclipse only. Remember that, by design, Eclipse uses native
widgets and look-and-feel whenever possible.

Eric
Re: UI main fonts [message #593755 is a reply to message #470856] Mon, 12 November 2007 09:37 Go to previous message
Eclipse UserFriend
Wojtek Michalik wrote:
> 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.

Eclipse takes those fonts from the system settings; they can not be
changed for Eclipse only. Remember that, by design, Eclipse uses native
widgets and look-and-feel whenever possible.

Eric
Previous Topic:Eclipse IDE Help Documentation
Next Topic:Connecting web applications to standalone help
Goto Forum:
  


Current Time: Fri May 23 05:40:54 EDT 2025

Powered by FUDForum. Page generated in 0.05416 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top