Eclipse Community Forums: Eclipse Platform » how to change editor font size

Home » Eclipse Projects » Eclipse Platform » how to change editor font size

how to change editor font size [message #330589]

Mon, 04 August 2008 11:48

Eclipse User

Originally posted by: chingyichan.tw.gmail.com

Hi,
I want to write a command that can change editor font size.
but I have no idea how to do it. someone can give some suggestion ?

Re: how to change editor font size [message #330703 is a reply to message #330589]

Sun, 10 August 2008 20:57

Eclipse User

Originally posted by: chingyichan.tw.gmail.com

chingyichan 提到:
> Hi,
> I want to write a command that can change editor font size.
> but I have no idea how to do it. someone can give some suggestion ?

I get the Control instance of the current editor, and call set method to
change it.

============================== Code ============================

FontRegistry fontRegistry = new FontRegistry(Display.getCurrent());
fontRegistry.put("demo", new FontData[]{new FontData("Verdana", 14,
SWT.BOLD)} );
IEditorPart editorPart = HandlerUtil.getActiveEditor(event);
Control control = (Control) editorPart.getAdapter(Control.class);
control.setFont(fontRegistry.get("demo"));

Previous Topic:	RE: Access file in developed plugin
Next Topic:	Some very very strange thing about the open action in the CNF?

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jun 22 13:45:26 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter