| How to change the font side for Java editor in Solaris [message #279215] |
Thu, 13 January 2005 12:23  |
Eclipse User |
|
|
|
Hi
While the fonts in other pannel are quite big, the font in the
editors(java,xml) is very small, in Solaris. I am using latest 3.01 on
Solaris 9.
Anyway, how to change the font size for editors. I can't find it in
prefrence.
Jirong
|
|
|
|
| Re: How to change the font side for Java editor in Solaris [message #279263 is a reply to message #279254] |
Fri, 14 January 2005 10:29  |
| Eclipse User |
|
|
|
Thank you, Dani.
And its a bug there, the default font size=12 is smaller than 11. I will
report that.
Jirong
Daniel Megert wrote:
> Jirong Hu wrote:
>> Hi
>>
>> While the fonts in other pannel are quite big, the font in the
>> editors(java,xml) is very small, in Solaris. I am using latest 3.01 on
>> Solaris 9.
>>
>> Anyway, how to change the font size for editors. I can't find it in
>> prefrence.
> Current stream: Window > Preferences > General > Colors and Fonts
> Older streams: Window > Preferences > Workbench > Colors and Fonts
> Dani
>>
>> Jirong
>>
|
|
|
Powered by
FUDForum. Page generated in 0.03744 seconds
Home