| Need hints for change editor font size [message #16172] |
Sun, 10 August 2008 01:11  |
Eclipse User |
|
|
|
Originally posted by: chingyichan.tw.gmail.com
hi,
I plan to write a plugin for change editor text font size at runtime.
But I have no idea how to do it programmatically. Using preferences ->
general -> editor -> colors and fonts ... I can change it. I think it
will be useful when I have a presentation to demo some codes, switching
larger/small fonts for me or audience.
|
|
|
| Re: Need hints for change editor font size [message #16186 is a reply to message #16172] |
Sun, 10 August 2008 06:09  |
| Eclipse User |
|
|
|
Originally posted by: chingyichan.tw.gmail.com
Ching Yi, Chan 提到:
> hi,
>
> I plan to write a plugin for change editor text font size at runtime.
> But I have no idea how to do it programmatically. Using preferences ->
> general -> editor -> colors and fonts ... I can change it. I think it
> will be useful when I have a presentation to demo some codes, switching
> larger/small fonts for me or audience.
I get the Control instance of the current editor, and call set method to
change it. :)
|
|
|
| Re: Need hints for change editor font size [message #576054 is a reply to message #16172] |
Sun, 10 August 2008 06:09 |
| Eclipse User |
|
|
|
Ching Yi, Chan 提到:
> hi,
>
> I plan to write a plugin for change editor text font size at runtime.
> But I have no idea how to do it programmatically. Using preferences ->
> general -> editor -> colors and fonts ... I can change it. I think it
> will be useful when I have a presentation to demo some codes, switching
> larger/small fonts for me or audience.
I get the Control instance of the current editor, and call set method to
change it. :)
|
|
|
Powered by
FUDForum. Page generated in 0.03985 seconds
Home