package net.sourceforge.phpdt.internal.ui.preferences;
-
import net.sourceforge.phpdt.internal.ui.IJavaHelpContextIds;
import net.sourceforge.phpeclipse.PHPeclipsePlugin;
/**
* The page for setting the editor options.
*/
-public final class MarkOccurrencesPreferencePage extends AbstractConfigurationBlockPreferencePage {
+public final class MarkOccurrencesPreferencePage extends
+ AbstractConfigurationBlockPreferencePage {
/*
* @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#getHelpId()
* @see org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setDescription()
*/
protected void setDescription() {
- String description= PreferencesMessages.getString("MarkOccurrencesConfigurationBlock.title");
+ String description = PreferencesMessages
+ .getString("MarkOccurrencesConfigurationBlock.title");
setDescription(description);
}
setPreferenceStore(PHPeclipsePlugin.getDefault().getPreferenceStore());
}
-
protected Label createDescriptionLabel(Composite parent) {
return null; // no description for new look.
}
/*
* @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.ui.internal.editors.text.OverlayPreferenceStore)
*/
- protected IPreferenceConfigurationBlock createConfigurationBlock(OverlayPreferenceStore overlayPreferenceStore) {
+ protected IPreferenceConfigurationBlock createConfigurationBlock(
+ OverlayPreferenceStore overlayPreferenceStore) {
return new MarkOccurrencesConfigurationBlock(overlayPreferenceStore);
}