diff options
| author | Kai Maetzel | 2001-09-05 16:21:11 +0000 |
|---|---|---|
| committer | Kai Maetzel | 2001-09-05 16:21:11 +0000 |
| commit | a9b8109030656dcc6c9359a612855bdaa2e0dd9d (patch) | |
| tree | a17ee78ecba741d0b39f3c52a75c3b6726a4a74f | |
| parent | 63bbf3974067bdcf9f49d82235925bd8ab0b87d7 (diff) | |
| download | eclipse.jdt.ui-a9b8109030656dcc6c9359a612855bdaa2e0dd9d.tar.gz eclipse.jdt.ui-a9b8109030656dcc6c9359a612855bdaa2e0dd9d.tar.xz eclipse.jdt.ui-a9b8109030656dcc6c9359a612855bdaa2e0dd9d.zip | |
unfied font preference
| -rw-r--r-- | org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorPreferencePage.java | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorPreferencePage.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorPreferencePage.java index 8fea386a68..37f7fdcc6e 100644 --- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorPreferencePage.java +++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorPreferencePage.java @@ -4,9 +4,24 @@ */
package org.eclipse.jdt.internal.ui.preferences;
-import org.eclipse.swt.graphics.Font;
import org.eclipse.swt.graphics.FontData;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.FontFieldEditor;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.preference.PreferenceConverter;
import org.eclipse.jface.resource.JFaceResources;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
import org.eclipse.ui.help.DialogPageContextComputer;
import org.eclipse.ui.help.WorkbenchHelp;
import org.eclipse.ui.texteditor.AbstractTextEditor;
import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
import org.eclipse.jdt.internal.ui.JavaPlugin;
+import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
+import org.eclipse.jdt.internal.ui.JavaPlugin;
import org.eclipse.jdt.internal.ui.JavaUIMessages;
+import org.eclipse.jface.preference.FieldEditorPreferencePage;
+import org.eclipse.jface.preference.IPreferenceStore;
+import org.eclipse.jface.resource.JFaceResources;
+
+import org.eclipse.swt.widgets.Composite;
+
+import org.eclipse.ui.IWorkbench;
+import org.eclipse.ui.IWorkbenchPreferencePage;
+import org.eclipse.ui.help.DialogPageContextComputer;
+import org.eclipse.ui.help.WorkbenchHelp;
+import org.eclipse.ui.texteditor.AbstractTextEditor;
+import org.eclipse.ui.texteditor.PropagatingFontFieldEditor;
+
+
/**
* A preference page to set the font used in the Java editor.
* This preference page uses the key <code>"JavaEditorPreferencePage.description"</code>
@@ -39,7 +54,7 @@ public class JavaEditorPreferencePage extends FieldEditorPreferencePage implemen * @see FieldEditorPreferencePage#createFieldEditors
*/
public void createFieldEditors() {
- addField(new FontFieldEditor(AbstractTextEditor.PREFERENCE_FONT, JavaUIMessages.getString("JavaEditorPreferencePage.font"), getFieldEditorParent())); //$NON-NLS-1$
+ addField(new PropagatingFontFieldEditor(AbstractTextEditor.PREFERENCE_FONT, JavaUIMessages.getString("JavaEditorPreferencePage.font"), getFieldEditorParent())); //$NON-NLS-1$
}
/*
@@ -49,11 +64,6 @@ public class JavaEditorPreferencePage extends FieldEditorPreferencePage implemen }
public static void initDefaults(IPreferenceStore store) {
- Font font= JFaceResources.getTextFont();
- if (font != null) {
- FontData[] data= font.getFontData();
- if (data != null && data.length > 0)
- PreferenceConverter.setDefault(store, AbstractTextEditor.PREFERENCE_FONT, data[0]);
- }
+ PropagatingFontFieldEditor.startPropagate(store, JFaceResources.TEXT_FONT);
}
} |