Eclipse Community Forums: Eclipse Platform » Impossible to change Navigator font size??

Home » Eclipse Projects » Eclipse Platform » Impossible to change Navigator font size??

Impossible to change Navigator font size?? [message #283184]

Tue, 29 March 2005 04:56

Eclipse User

Originally posted by: eeerr.dfdf.com

I can't find anything that will change the font size in the navigator view.
Does sombody know where to change it??

JS

Re: Impossible to change Navigator font size?? [message #283197 is a reply to message #283184]

Tue, 29 March 2005 10:31

Eclipse User

Originally posted by: eclipse.rizzoweb.com

JS wrote:
> I can't find anything that will change the font size in the navigator view.
> Does sombody know where to change it??

See my response in the newcomer group - Navigator (and many other
settings) are determined by your operating system/window manager settings.

Re: Impossible to change Navigator font size?? [message #283207 is a reply to message #283197]

Tue, 29 March 2005 14:23

Eclipse User

Originally posted by: eeerr.dfdf.com

"Eric Rizzo" <eclipse@rizzoweb.com> skrev i en meddelelse
news:d2bsdk$ns6$2@news.eclipse.org...
> JS wrote:
> > I can't find anything that will change the font size in the navigator
view.
> > Does sombody know where to change it??
>
> See my response in the newcomer group - Navigator (and many other
> settings) are determined by your operating system/window manager settings.

But why are it then possible to change all other fonts in eclipse - except
fonts in Navigator view...seems a bit random

Re: Impossible to change Navigator font size?? [message #283212 is a reply to message #283197]

Tue, 29 March 2005 16:15

Eclipse User

Originally posted by: eeerr.dfdf.com

"Eric Rizzo" <eclipse@rizzoweb.com> skrev i en meddelelse
news:d2bsdk$ns6$2@news.eclipse.org...
> JS wrote:
> > I can't find anything that will change the font size in the navigator
view.
> > Does sombody know where to change it??
>
> See my response in the newcomer group - Navigator (and many other
> settings) are determined by your operating system/window manager settings.

BTW: I have now tried to change all my font settings in my operating system
(Ubuntu Linux with KDE 3.2.3) but nothing happens to the font in
Eclipse....its seems that its only possible to change the font in eclipse
from within eclipse!

Re: Impossible to change Navigator font size?? [message #283259 is a reply to message #283212]

Thu, 31 March 2005 02:42

Eclipse User

JS wrote:
> BTW: I have now tried to change all my font settings in my operating
system
> (Ubuntu Linux with KDE 3.2.3) but nothing happens to the font in
> Eclipse....its seems that its only possible to change the font in eclipse
> from within eclipse!

Note that eclipse reads the Gnome settings and does not respect the KDE
settings.

-tom

Previous Topic:	ProjectionViewer embedded in a FormPage; Folding?
Next Topic:	How to use the TemplatePreferncePage

Goto Forum:

-=] Back to Top [=-

Current Time: Thu Nov 06 22:16:42 EST 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter