X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java deleted file mode 100644 index 0cdcb6f..0000000 --- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/MarkOccurrencesPreferencePage.java +++ /dev/null @@ -1,62 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2000, 2005 IBM Corporation and others. - * All rights reserved. This program and the accompanying materials - * are made available under the terms of the Eclipse Public License v1.0 - * which accompanies this distribution, and is available at - * http://www.eclipse.org/legal/epl-v10.html - * - * Contributors: - * IBM Corporation - initial API and implementation - *******************************************************************************/ - -package net.sourceforge.phpdt.internal.ui.preferences; - -import net.sourceforge.phpdt.internal.ui.IJavaHelpContextIds; -//import net.sourceforge.phpeclipse.PHPeclipsePlugin; -import net.sourceforge.phpeclipse.ui.WebUI; - -import org.eclipse.swt.widgets.Composite; -import org.eclipse.swt.widgets.Label; - -/** - * The page for setting the editor options. - */ -public final class MarkOccurrencesPreferencePage extends - AbstractConfigurationBlockPreferencePage { - - /* - * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#getHelpId() - */ - protected String getHelpId() { - return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE; - } - - /* - * @see org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setDescription() - */ - protected void setDescription() { - String description = PreferencesMessages - .getString("MarkOccurrencesConfigurationBlock.title"); - setDescription(description); - } - - /* - * @see org.org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setPreferenceStore() - */ - protected void setPreferenceStore() { - setPreferenceStore(WebUI.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) { - return new MarkOccurrencesConfigurationBlock(overlayPreferenceStore); - } - -}