secure.phpeclipse.com Git - phpeclipse.git/blob

   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 import net.sourceforge.phpeclipse.ui.WebUI;
  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
  25                 AbstractConfigurationBlockPreferencePage {
  26
  27         /*
  28          * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#getHelpId()
  29          */
  30         protected String getHelpId() {
  31                 return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE;
  32         }
  33
  34         /*
  35          * @see org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setDescription()
  36          */
  37         protected void setDescription() {
  38                 String description = PreferencesMessages
  39                                 .getString("MarkOccurrencesConfigurationBlock.title");
  40                 setDescription(description);
  41         }
  42
  43         /*
  44          * @see org.org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setPreferenceStore()
  45          */
  46         protected void setPreferenceStore() {
  47                 setPreferenceStore(WebUI.getDefault().getPreferenceStore());
  48         }
  49
  50         protected Label createDescriptionLabel(Composite parent) {
  51                 return null; // no description for new look.
  52         }
  53
  54         /*
  55          * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.ui.internal.editors.text.OverlayPreferenceStore)
  56          */
  57         protected IPreferenceConfigurationBlock createConfigurationBlock(
  58                         OverlayPreferenceStore overlayPreferenceStore) {
  59                 return new MarkOccurrencesConfigurationBlock(overlayPreferenceStore);
  60         }
  61
  62 }