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: * The page for setting the editor options.
20: */
21: public final class FoldingPreferencePage extends
22: AbstractConfigurationBlockPreferencePage {
23:
24: /*
25: * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#getHelpId()
26: */
27: protected String getHelpId() {
28: return IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE;
29: }
30:
31: /*
32: * @see org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setDescription()
33: */
34: protected void setDescription() {
35: String description = PreferencesMessages.JavaEditorPreferencePage_folding_title;
36: setDescription(description);
37: }
38:
39: /*
40: * @see org.org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage#setPreferenceStore()
41: */
42: protected void setPreferenceStore() {
43: setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());
44: }
45:
46: protected Label createDescriptionLabel(Composite parent) {
47: return null; // no description for new look.
48: }
49:
50: /*
51: * @see org.eclipse.ui.internal.editors.text.AbstractConfigureationBlockPreferencePage#createConfigurationBlock(org.eclipse.ui.internal.editors.text.OverlayPreferenceStore)
52: */
53: protected IPreferenceConfigurationBlock createConfigurationBlock(
54: OverlayPreferenceStore overlayPreferenceStore) {
55: return new FoldingConfigurationBlock(overlayPreferenceStore);
56: }
57: }
|