Skip to main content



      Home
Home » Language IDEs » Java Development Tools (JDT) » Changing font in Navigator, Package Explorer, et al.
Changing font in Navigator, Package Explorer, et al. [message #144442] Sun, 22 February 2004 16:25 Go to next message
Eclipse UserFriend
I'm using M7 on Mac OS X here, and I'm very impressed with the progress
since the last time I tried
it on my Mac -- it's come leaps and bounds. My compliments to all the
developers who've been
working on the port.

The UI on OS X is still a bit ungainly-looking. My largest complaint at
the moment is that the font
used in the Navigator, Package Explorer, the Java Browsing family of
views, etc., is just ridiculously
large on OS X. (I think it's Lucida Grande 13.) Unfortunately, I don't
see any way to change it. Is
there a preference pane I'm missing? A buried config file I can tweak?

Cheers,

Paul
Re: Changing font in Navigator, Package Explorer, et al. [message #144750 is a reply to message #144442] Mon, 23 February 2004 12:56 Go to previous messageGo to next message
Eclipse UserFriend
Originally posted by: Andre_Weinand.oti.com

On 22.2.2004 22:25 Uhr, in article c1b6om$1cd$1@eclipse.org, "Paul Cantrell"
<cantrell@pobox.com> wrote:

> I'm using M7 on Mac OS X here, and I'm very impressed with the progress
> since the last time I tried
> it on my Mac -- it's come leaps and bounds. My compliments to all the
> developers who've been
> working on the port.
>
> The UI on OS X is still a bit ungainly-looking. My largest complaint at
> the moment is that the font
> used in the Navigator, Package Explorer, the Java Browsing family of
> views, etc., is just ridiculously
> large on OS X. (I think it's Lucida Grande 13.) Unfortunately, I don't
> see any way to change it. Is
> there a preference pane I'm missing? A buried config file I can tweak?

There is no preference pane for the fonts used in Navigators and Package
Explorers because Eclipse relies on the platform's mechanism for changing
fonts.

Unfortunately the Mac doesn't not provide a mechanism for changing the
default font.

There are a couple of bugs related to this issue:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=28739
https://bugs.eclipse.org/bugs/show_bug.cgi?id=41221
https://bugs.eclipse.org/bugs/show_bug.cgi?id=49453

The first one even includes a patch that works quite well for me.

(However, having to patch Eclipse in order to make it look good is
unsatisfactory; I'll look into the problem again...)

--andre
Re: Changing font in Navigator, Package Explorer, et al. [message #144796 is a reply to message #144750] Mon, 23 February 2004 18:05 Go to previous messageGo to next message
Eclipse UserFriend
Thanks, Andre, the patch looks like exactly what I'm after. And now I
know where the Bugzilla
system is at, so I can discover these things for myself! :)

I'm not sure if I want to take on the adventure of doing a local build of
Eclipse, but if I have an
hour or two to spare, I'll give it a whirl.

If any other Mac users come across this thread with the same question,
here's the link to vote for
this bug:

https://bugs.eclipse.org/bugs/votes.cgi?action=show_user& ;bug_id=28739

Cheers,

Paul


Andre Weinand wrote:
> There is no preference pane for the fonts used in Navigators and Package
> Explorers because Eclipse relies on the platform's mechanism for changing
> fonts.

> Unfortunately the Mac doesn't not provide a mechanism for changing the
> default font.

> There are a couple of bugs related to this issue:

> https://bugs.eclipse.org/bugs/show_bug.cgi?id=28739
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=41221
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=49453

> The first one even includes a patch that works quite well for me.

> (However, having to patch Eclipse in order to make it look good is
> unsatisfactory; I'll look into the problem again...)

> --andre
Re: Changing font in Navigator, Package Explorer, et al. [message #144911 is a reply to message #144796] Tue, 24 February 2004 08:24 Go to previous messageGo to next message
Eclipse UserFriend
Originally posted by: Andre_Weinand.oti.com

On 24.2.2004 0:05 Uhr, in article c1e0vl$bv5$1@eclipse.org, "Paul Cantrell"
<cantrell@pobox.com> wrote:

> Thanks, Andre, the patch looks like exactly what I'm after. And now I
> know where the Bugzilla
> system is at, so I can discover these things for myself! :)
>
> I'm not sure if I want to take on the adventure of doing a local build of
> Eclipse, but if I have an
> hour or two to spare, I'll give it a whirl.

try here:

http://www.weinand.org/eclipse/org.eclipse.swt.carbon_3.0.0. zip

It is based on swt 3039

have fun,
--andre
Re: Changing font in Navigator, Package Explorer, et al. [message #145108 is a reply to message #144911] Tue, 24 February 2004 16:51 Go to previous message
Eclipse UserFriend
> try here:
>
> http://www.weinand.org/eclipse/org.eclipse.swt.carbon_3.0.0. zip
>
> It is based on swt 3039
>
> have fun,
> --andre

That does it. Thanks Andre! I am indeed having fun.

The line height is now a bit too tall for the font, but I'll stop
quibbling and start developing. :)

Paul
Previous Topic:Error: cannot find a free socket for the debugger
Next Topic:eclpise home, junit home and ant/cvs
Goto Forum:
  


Current Time: Fri Apr 25 06:27:49 EDT 2025

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

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

Back to the top