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.swt.widgets.Composite;
13: import org.eclipse.swt.widgets.Label;
14:
15: import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
16: import org.eclipse.jdt.internal.ui.JavaPlugin;
17:
18: /**
19: * Quick Diff preference page.
20: * <p>
21: * Note: Must be public since it is referenced from plugin.xml
22: * </p>
23: *
24: * @since 3.0
25: */
26: public class JavaEditorColoringPreferencePage extends
27: AbstractConfigurationBlockPreferencePage {
28:
29: /*
30: * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#getHelpId()
31: */
32: protected String getHelpId() {
33: return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE;
34: }
35:
36: /*
37: * @see org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setDescription()
38: */
39: protected void setDescription() {
40: String description = PreferencesMessages.JavaEditorPreferencePage_colors;
41: setDescription(description);
42: }
43:
44: protected Label createDescriptionLabel(Composite parent) {
45: return null;
46: }
47:
48: /*
49: * @see org.org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setPreferenceStore()
50: */
51: protected void setPreferenceStore() {
52: setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());
53: }
54:
55: /*
56: * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.ui.internal.editors.text.OverlayPreferenceStore)
57: */
58: protected IPreferenceConfigurationBlock createConfigurationBlock(
59: OverlayPreferenceStore overlayPreferenceStore) {
60: return new JavaEditorColoringConfigurationBlock(
61: overlayPreferenceStore);
62: }
63: }
|