diff options
Diffstat (limited to 'core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java')
-rw-r--r-- | core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java index 288cb0e01ed..8136045f92c 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java @@ -28,6 +28,7 @@ public final class MarkOccurrencesPreferencePage extends AbstractConfigurationBl /* * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#getHelpId() */ + @Override protected String getHelpId() { return ICHelpContextIds.C_EDITOR_PREF_PAGE; } @@ -35,6 +36,7 @@ public final class MarkOccurrencesPreferencePage extends AbstractConfigurationBl /* * @see org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setDescription() */ + @Override protected void setDescription() { String description= PreferencesMessages.MarkOccurrencesConfigurationBlock_title; setDescription(description); @@ -43,11 +45,13 @@ public final class MarkOccurrencesPreferencePage extends AbstractConfigurationBl /* * @see org.org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setPreferenceStore() */ + @Override protected void setPreferenceStore() { setPreferenceStore(CUIPlugin.getDefault().getPreferenceStore()); } + @Override protected Label createDescriptionLabel(Composite parent) { return null; // no description for new look. } @@ -55,6 +59,7 @@ public final class MarkOccurrencesPreferencePage extends AbstractConfigurationBl /* * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.ui.internal.editors.text.OverlayPreferenceStore) */ + @Override protected IPreferenceConfigurationBlock createConfigurationBlock(OverlayPreferenceStore overlayPreferenceStore) { return new MarkOccurrencesConfigurationBlock(overlayPreferenceStore); } |