KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jdt > internal > ui > preferences > OccurrencesPreferencePage


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 org.eclipse.jdt.internal.ui.preferences;
13
14 import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
15 import org.eclipse.jdt.internal.ui.JavaPlugin;
16
17
18
19 /**
20  * Occurrences preference page.
21  * <p>
22  * Note: Must be public since it is referenced from plugin.xml
23  * </p>
24  *
25  * @since 3.0
26  */
27 public class OccurrencesPreferencePage extends AbstractConfigurationBlockPreferencePage {
28
29     /*
30      * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigureationBlockPreferencePage#getHelpId()
31      */
32     protected String JavaDoc getHelpId() {
33         return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE;
34     }
35
36     /*
37      * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigurationBlockPreferencePage#setDescription()
38      */
39     protected void setDescription() {
40         // This page has no description
41 }
42     
43     /*
44      * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigurationBlockPreferencePage#setPreferenceStore()
45      */
46     protected void setPreferenceStore() {
47         setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());
48     }
49
50     /*
51      * @see org.eclipse.jdt.internal.ui.preferences.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.jdt.internal.ui.preferences.OverlayPreferenceStore)
52      */
53     protected IPreferenceConfigurationBlock createConfigurationBlock(OverlayPreferenceStore overlayPreferenceStore) {
54         return new MarkOccurrencesConfigurationBlock(overlayPreferenceStore);
55     }
56 }
57
Popular Tags