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 import net.sourceforge.phpdt.internal.ui.IJavaHelpContextIds;
  15 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
  16
  17 import org.eclipse.swt.widgets.Composite;
  18 import org.eclipse.swt.widgets.Label;
  19
  20 /**
  21  * The page for setting the editor options.
  22  */
  23 public final class MarkOccurrencesPreferencePage extends
  24                 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
  38                                 .getString("MarkOccurrencesConfigurationBlock.title");
  39                 setDescription(description);
  40         }
  41
  42         /*
  43          * @see org.org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setPreferenceStore()
  44          */
  45         protected void setPreferenceStore() {
  46                 setPreferenceStore(PHPeclipsePlugin.getDefault().getPreferenceStore());
  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(
  57                         OverlayPreferenceStore overlayPreferenceStore) {
  58                 return new MarkOccurrencesConfigurationBlock(overlayPreferenceStore);
  59         }
  60
  61 }