Eclipse Community Forums: Java Development Tools (JDT)

Home » Language IDEs » Java Development Tools (JDT) » Change ANT editor font

Change ANT editor font [message #200765]

Wed, 13 April 2005 03:26

Eclipse User

Originally posted by: no-spam-Marc.Dzaebel.gaia-group.com

Neither

Windows/Preferences/Ant/Editor/Appearance

nor

Window/Preferences/General/Appearance/Colors and Fonts

has a switch to change the ANT-Editor font.

Is it possible at all? Is this the right newsgroup?

Thanks, Marc

Re: Change ANT editor font [message #200773 is a reply to message #200765]

Wed, 13 April 2005 11:37

Eclipse User

The Ant editor uses the basic Text Font from
Window/Preferences/General/Appearance/Colors and Fonts/Basic

HTH
Darins

"Marc Dzaebel" <no-spam-Marc.Dzaebel@gaia-group.com> wrote in message
news:d3ihr8$t96$1@news.eclipse.org...
> Neither
>
> Windows/Preferences/Ant/Editor/Appearance
>
> nor
>
> Window/Preferences/General/Appearance/Colors and Fonts
>
> has a switch to change the ANT-Editor font.
>
> Is it possible at all? Is this the right newsgroup?
>
> Thanks, Marc

Re: Change ANT editor font [message #200778 is a reply to message #200773]

Wed, 13 April 2005 12:03

Eclipse User

Originally posted by: no-spam-Marc.Dzaebel.gaia-group.com

Darin Swanson wrote:

> The Ant editor uses the basic Text Font from
> Window/Preferences/General/Appearance/Colors and Fonts/Basic

I thought I tested it multiple times but it works!

Thanks a lot,

Marc

Re: Change ANT editor font [message #200792 is a reply to message #200778]

Wed, 13 April 2005 12:48

Eclipse User

Only works after I say it works :-)

Sorry...couldn't resist
Darins

"Marc Dzaebel" <no-spam-Marc.Dzaebel@gaia-group.com> wrote in message
news:d3jg47$cu4$1@news.eclipse.org...
> Darin Swanson wrote:
>
> > The Ant editor uses the basic Text Font from
> > Window/Preferences/General/Appearance/Colors and Fonts/Basic
>
> I thought I tested it multiple times but it works!
>
> Thanks a lot,
>
> Marc

Previous Topic:	Extending "Add Library"
Next Topic:	Possible Marker Bug

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jun 08 17:56:51 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter