| Changing edit font on Linux GTK [message #12861] |
Tue, 23 December 2003 16:01  |
Eclipse User |
|
|
|
I recently switched from the Motif to the GTK Linux SWT support because
drag and drop don't work on Motif (at least on Debian).
I changed the font using the Preferencing window, and in particular I
changed the editor font. The effect of this was to change the font when
using the Java perspective of a .java file, but the source editor in the
VE perspective does not seem to be changed. How am I supposed to
change the font in this window? It is currently much to big.
I am using 0.5.0 BTW.
Thanks
David
|
|
|
| Re: Changing edit font on Linux GTK [message #12893 is a reply to message #12861] |
Mon, 29 December 2003 19:14  |
| Eclipse User |
|
|
|
Hi David,
> I changed the font using the Preferencing window, and in particular I
> changed the editor font. The effect of this was to change the font when
> using the Java perspective of a .java file, but the source editor in the
> VE perspective does not seem to be changed. How am I supposed to
> change the font in this window? It is currently much to big.
I did a quick check where I opened the preferences using Window=>Preferences
and then navigated to Workbench=>Fonts. In the preference dialog I selected
Java Editor text font in the list, used the change button, applied it, and
it worked OK altering the VE and also the regular Java editor font.
Are these the same steps you used ?
Best regards,
Joe
|
|
|
| Re: Changing edit font on Linux GTK [message #576189 is a reply to message #12861] |
Mon, 29 December 2003 19:14 |
| Eclipse User |
|
|
|
Hi David,
> I changed the font using the Preferencing window, and in particular I
> changed the editor font. The effect of this was to change the font when
> using the Java perspective of a .java file, but the source editor in the
> VE perspective does not seem to be changed. How am I supposed to
> change the font in this window? It is currently much to big.
I did a quick check where I opened the preferences using Window=>Preferences
and then navigated to Workbench=>Fonts. In the preference dialog I selected
Java Editor text font in the list, used the change button, applied it, and
it worked OK altering the VE and also the regular Java editor font.
Are these the same steps you used ?
Best regards,
Joe
|
|
|
Powered by
FUDForum. Page generated in 0.03392 seconds
Home