Eclipse Community Forums: Java Development Tools (JDT) » font-size in problems/ outline/ navigator

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

Eclipse User

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

Eclipse User

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:

-=] Back to Top [=-

Current Time: Fri Jul 25 17:24:45 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter