Eclipse Community Forums: Java Development Tools (JDT) » How do I set the font for a text viewer?

Home » Language IDEs » Java Development Tools (JDT) » How do I set the font for a text viewer?

How do I set the font for a text viewer? [message #5314]

Thu, 24 April 2003 19:15

Eclipse User

Originally posted by: tlindsay.sympatico.ca

This should be easy, but I can't seem to find any way to do this. Can
someone point me in the right direction?

--
Tony Lindsay
IT Consultant
Silver Bullet Solutions Inc
tlindsay@sbulletinc.com
416-919-2599

Re: How do I set the font for a text viewer? [message #5523 is a reply to message #5314]

Fri, 25 April 2003 04:33

Eclipse User

Originally posted by: tom.eicher.gmx.ch.nodomain

> This should be easy, but I can't seem to find any way to do this. Can
> someone point me in the right direction?

Set it on the viewer's text widget:

ITextViewer viewer;
viewer.getTextWidget().setFont(...)

-tom

Re: How do I set the font for a text viewer? [message #5536 is a reply to message #5314]

Fri, 25 April 2003 04:55

Eclipse User

Originally posted by: adam_kiezun.ch.ibm.spam.protection.com

you mean as a user?

simply change the system default - eclipse uses that
java editor has an option ot override that but i'm not sure about the text editor

a.
--
eclipse.org

Previous Topic:	Can I add a copyifnewer to ant1.4
Next Topic:	[newbie] How to get an IResource of a java file?

Goto Forum:

-=] Back to Top [=-

Current Time: Tue Nov 04 05:46:33 EST 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter