01: /*******************************************************************************
02: * Copyright (c) 2000, 2007 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:
14: import org.eclipse.jdt.internal.ui.preferences.cleanup.CleanUpConfigurationBlock;
15: import org.eclipse.jdt.internal.ui.preferences.formatter.ProfileConfigurationBlock;
16:
17: /*
18: * The page to configure the clean up options.
19: */
20: public class CleanUpPreferencePage extends ProfilePreferencePage {
21:
22: public static final String PREF_ID = "org.eclipse.jdt.ui.preferences.CleanUpPreferencePage"; //$NON-NLS-1$
23: public static final String PROP_ID = "org.eclipse.jdt.ui.propertyPages.CleanUpPreferencePage"; //$NON-NLS-1$
24:
25: public CleanUpPreferencePage() {
26: // only used when page is shown programmatically
27: setTitle(PreferencesMessages.CleanUpPreferencePage_Title);
28: }
29:
30: /* (non-Javadoc)
31: * @see org.eclipse.jdt.internal.ui.preferences.ProfilePreferencePage#createControl(org.eclipse.swt.widgets.Composite)
32: */
33: public void createControl(Composite parent) {
34: super .createControl(parent);
35: // PlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(), IJavaHelpContextIds.CODEFORMATTER_PREFERENCE_PAGE);
36: }
37:
38: protected ProfileConfigurationBlock createConfigurationBlock(
39: PreferencesAccess access) {
40: return new CleanUpConfigurationBlock(getProject(), access);
41: }
42:
43: /* (non-Javadoc)
44: * @see org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage#getPreferencePageID()
45: */
46: protected String getPreferencePageID() {
47: return PREF_ID;
48: }
49:
50: /* (non-Javadoc)
51: * @see org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage#getPropertyPageID()
52: */
53: protected String getPropertyPageID() {
54: return PROP_ID;
55: }
56: }
|