1 11 12 package org.eclipse.jdt.internal.ui.preferences; 13 14 15 import org.eclipse.swt.widgets.Composite; 16 import org.eclipse.swt.widgets.Label; 17 18 import org.eclipse.jdt.internal.ui.IJavaHelpContextIds; 19 import org.eclipse.jdt.internal.ui.JavaPlugin; 20 21 24 public final class JavaEditorPreferencePage extends AbstractConfigurationBlockPreferencePage { 25 26 29 protected String getHelpId() { 30 return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE; 31 } 32 33 36 protected void setDescription() { 37 String description= PreferencesMessages.JavaEditorPreferencePage_general; 38 setDescription(description); 39 } 40 41 44 protected void setPreferenceStore() { 45 setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore()); 46 } 47 48 49 protected Label createDescriptionLabel(Composite parent) { 50 return null; } 52 53 56 protected IPreferenceConfigurationBlock createConfigurationBlock(OverlayPreferenceStore overlayPreferenceStore) { 57 return new JavaEditorAppearanceConfigurationBlock(this, overlayPreferenceStore); 58 } 59 } 60 | Popular Tags |