Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 19906

Summary:	Fonts cannot be changed from defaults
Product:	[Eclipse Project] Platform	Reporter:	Antonio D'souza <eclipse>
Component:	Text	Assignee:	Claude Knaus <Claude_Knaus>
Status:	RESOLVED WORKSFORME	QA Contact:
Severity:	normal
Priority:	P3
Version:	2.0
Target Milestone:	---
Hardware:	PC
OS:	Linux-GTK
Whiteboard:

Description Antonio D'souza

2002-06-11 10:53:12 EDT

In the Prefs dialog, go to Workbench>Fonts & try to change the fonts.
While they appear to change in the dialog, when you apply & hit OK, nothing
changes in the workspace.

Comment 1 Antonio D'souza

2002-06-11 11:17:38 EDT

I found that closing & then reopening files would make the font changes kick in.
However, switching to different file & then back again or flipping between
views/perspectives did not do it for me. 
Also, only certain types of files seem to use the newly defined fonts! 
For instance, java source files still use the default font but the plugin.xml
(in source view) uses the newly defined font for text.

Comment 2 Nick Edgar

2002-06-11 11:42:58 EDT

Which build?

Comment 3 Antonio D'souza

2002-06-11 11:48:55 EDT

The 0610 build.

Comment 4 Nick Edgar

2002-06-11 22:47:52 EDT

Do you know whether this occurs only on GTK, or on Motif as well?

Comment 5 Antonio D'souza

2002-06-11 23:16:38 EDT

I tried it on Motif & the text window simply stops redrawing after I alter the
Text font style with a plugin.xml open in Source mode. 
As with GTK, this can be fixed by closing the file & then reopening it.
Also, the java source files do not use the specified Text font, as with GTK again.

Comment 6 Antonio D'souza

2002-07-11 16:11:07 EDT

I installed the GTK2 version of Eclipse at home on my Linux box & the fonts look
wonderful. However, at home I am running Gnome2, which lets me set my GTK2
fonts. Here I do not have such a tool, since RH7.3 still uses Gnome1.4 so
Eclipse is using the default GTK2 fonts, which are ugly as sin. 
I suspect that the workaround for this is to use the Gnome2 font config tool to
change the GTK2 fonts.

Comment 7 Antonio D'souza

2002-07-11 17:26:20 EDT

I found a better workaround! 
Use a small utility called gtk-theme-switch-2.0 to change the font.

Also, the font used by the editor can be changed by going to 
Window>Prefs>Java>Editor>Text font & using the browse button.

Comment 8 Kai-Uwe Maetzel

2002-09-12 05:36:32 EDT

Please check with newest.

Comment 9 Claude Knaus

2002-09-12 06:06:16 EDT

works for me in 20020910 linux-gtk
I can change the font in the Java Editor by changing the Workbench text font.
I'm using the GTK 2 libraries with RedHat 7.1

Antonio, can you please verify?