1 11 12 package org.eclipse.jdt.internal.ui.preferences; 13 14 import org.eclipse.swt.widgets.Composite; 15 import org.eclipse.swt.widgets.Label; 16 17 import org.eclipse.jdt.internal.ui.IJavaHelpContextIds; 18 import org.eclipse.jdt.internal.ui.JavaPlugin; 19 20 21 22 30 public class JavaEditorColoringPreferencePage extends AbstractConfigurationBlockPreferencePage { 31 32 35 protected String getHelpId() { 36 return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE; 37 } 38 39 42 protected void setDescription() { 43 String description= PreferencesMessages.JavaEditorPreferencePage_colors; 44 setDescription(description); 45 } 46 47 48 protected Label createDescriptionLabel(Composite parent) { 49 return null; 50 } 51 52 55 protected void setPreferenceStore() { 56 setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore()); 57 } 58 59 62 protected IPreferenceConfigurationBlock createConfigurationBlock(OverlayPreferenceStore overlayPreferenceStore) { 63 return new JavaEditorColoringConfigurationBlock(overlayPreferenceStore); 64 } 65 } 66 | Popular Tags |