net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2005 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11
  12 package net.sourceforge.phpdt.internal.ui.preferences;
  13
  14
  15 import net.sourceforge.phpdt.internal.ui.IJavaHelpContextIds;
  16 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
  17
  18 import org.eclipse.swt.widgets.Composite;
  19 import org.eclipse.swt.widgets.Label;
  20
  21 /**
  22  * The page for setting the editor options.
  23  */
  24 public final class MarkOccurrencesPreferencePage extends AbstractConfigurationBlockPreferencePage {
  25
  26         /*
  27          * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#getHelpId()
  28          */
  29         protected String getHelpId() {
  30                 return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE;
  31         }
  32
  33         /*
  34          * @see org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setDescription()
  35          */
  36         protected void setDescription() {
  37                 String description= PreferencesMessages.getString("MarkOccurrencesConfigurationBlock.title");
  38                 setDescription(description);
  39         }
  40
  41         /*
  42          * @see org.org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setPreferenceStore()
  43          */
  44         protected void setPreferenceStore() {
  45                 setPreferenceStore(PHPeclipsePlugin.getDefault().getPreferenceStore());
  46         }
  47
  48
  49         protected Label createDescriptionLabel(Composite parent) {
  50                 return null; // no description for new look.
  51         }
  52
  53         /*
  54          * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.ui.internal.editors.text.OverlayPreferenceStore)
  55          */
  56         protected IPreferenceConfigurationBlock createConfigurationBlock(OverlayPreferenceStore overlayPreferenceStore) {
  57                 return new MarkOccurrencesConfigurationBlock(overlayPreferenceStore);
  58         }
  59
  60 }