Skip to main content



      Home
Home » Language IDEs » Java Development Tools (JDT) » font-size in problems/ outline/ navigator
font-size in problems/ outline/ navigator [message #156057] Tue, 27 April 2004 03:01 Go to next message
Eclipse UserFriend
Originally posted by: wagner.stefan.berlin.de

Running 3.0.0M6 -linux-gtk

I would like to set the font for the panels much smaller.
I resized every font in Preferences/Workspace/Fonts (which are not too
intuitive to me) but I don't see a change.

Can someone give me a hint?
Or is it simply impossible?
Re: font-size in problems/ outline/ navigator [message #171777 is a reply to message #156057] Wed, 04 August 2004 11:42 Go to previous message
Eclipse UserFriend
Originally posted by: daniel.megert.gmx.net

Stefan Wagner wrote:

> Running 3.0.0M6 -linux-gtk
>
> I would like to set the font for the panels much smaller.
> I resized every font in Preferences/Workspace/Fonts (which are not too
> intuitive to me) but I don't see a change.
>
> Can someone give me a hint?
> Or is it simply impossible?

You need to change the setting in your OS (. Xdefaults file).

Dani
Previous Topic:Running ANT buildfile via new plugin?
Next Topic:How to get Java elements tree?
Goto Forum:
  


Current Time: Wed Jul 02 20:50:30 EDT 2025

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

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

Back to the top