01: /*******************************************************************************
02: * Copyright (c) 2000, 2005 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.jdt.internal.ui.preferences;
11:
12: import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
13: import org.eclipse.jdt.internal.ui.JavaPlugin;
14:
15: /**
16: * Occurrences preference page.
17: * <p>
18: * Note: Must be public since it is referenced from plugin.xml
19: * </p>
20: *
21: * @since 3.0
22: */
23: public class OccurrencesPreferencePage extends
24: AbstractConfigurationBlockPreferencePage {
25:
26: /*
27: * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigureationBlockPreferencePage#getHelpId()
28: */
29: protected String getHelpId() {
30: return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE;
31: }
32:
33: /*
34: * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigurationBlockPreferencePage#setDescription()
35: */
36: protected void setDescription() {
37: // This page has no description
38: }
39:
40: /*
41: * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigurationBlockPreferencePage#setPreferenceStore()
42: */
43: protected void setPreferenceStore() {
44: setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());
45: }
46:
47: /*
48: * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.jdt.internal.ui.preferences.OverlayPreferenceStore)
49: */
50: protected IPreferenceConfigurationBlock createConfigurationBlock(
51: OverlayPreferenceStore overlayPreferenceStore) {
52: return new MarkOccurrencesConfigurationBlock(
53: overlayPreferenceStore);
54: }
55: }
|