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

Help

Home

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

Show: Today's Messages :: Show Polls :: Message Navigator

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

Thu, 24 April 2003 23: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

Report message to a moderator

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

Fri, 25 April 2003 08: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

Report message to a moderator

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

Fri, 25 April 2003 08: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

Report message to a moderator

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 [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat Jul 27 16:40:04 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter