Project: Eclipse_Platform_UI
Bug 32610 Java Editor Font Does not change when Text Editor font changes
Reported: 2003-02-24 06:02:03 | Status: closed fixed

2.1 RC1 The Java editor should use the text font unless explicitly set. 1. Open Java editor 2. Change text font Observe: The Java editor does not use the font indicated on the preference page Note: After restarting the workbench the new font is used. Changing the text editor font resets the Java editor font again.

Files changed in fix:
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceConverter.java bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/FontPreferencePage.java