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 MarkOccurrencesPreferencePage 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.MarkOccurrencesConfigurationBlock_title; 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 MarkOccurrencesConfigurationBlock(overlayPreferenceStore); 58 } 59 60 } 61 | Popular Tags |