]> git.uio.no Git - ifi-stolz-refaktor.git/blame - case-study/jdt-after/ui/org/eclipse/jdt/internal/ui/preferences/CleanUpPreferencePage.java
Case Study: adding data and statistics
[ifi-stolz-refaktor.git] / case-study / jdt-after / ui / org / eclipse / jdt / internal / ui / preferences / CleanUpPreferencePage.java
CommitLineData
1b2798f6
EK
1/*******************************************************************************
2 * Copyright (c) 2000, 2011 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 *******************************************************************************/
11package org.eclipse.jdt.internal.ui.preferences;
12
13
14import org.eclipse.swt.widgets.Composite;
15
16import org.eclipse.ui.PlatformUI;
17
18import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
19import org.eclipse.jdt.internal.ui.preferences.cleanup.CleanUpConfigurationBlock;
20import org.eclipse.jdt.internal.ui.preferences.formatter.ProfileConfigurationBlock;
21
22/*
23 * The page to configure the clean up options.
24 */
25public class CleanUpPreferencePage extends ProfilePreferencePage {
26
27 public static final String PREF_ID= "org.eclipse.jdt.ui.preferences.CleanUpPreferencePage"; //$NON-NLS-1$
28 public static final String PROP_ID= "org.eclipse.jdt.ui.propertyPages.CleanUpPreferencePage"; //$NON-NLS-1$
29
30 public CleanUpPreferencePage() {
31 // only used when page is shown programmatically
32 setTitle(PreferencesMessages.CleanUpPreferencePage_Title );
33 }
34
35 /* (non-Javadoc)
36 * @see org.eclipse.jdt.internal.ui.preferences.ProfilePreferencePage#createControl(org.eclipse.swt.widgets.Composite)
37 */
38 @Override
39 public void createControl(Composite parent) {
40 super.createControl(parent);
41 PlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(), IJavaHelpContextIds.CLEAN_UP_PREFERENCE_PAGE);
42 }
43
44 @Override
45 protected ProfileConfigurationBlock createConfigurationBlock(PreferencesAccess access) {
46 return new CleanUpConfigurationBlock(getProject(), access);
47 }
48
49 /* (non-Javadoc)
50 * @see org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage#getPreferencePageID()
51 */
52 @Override
53 protected String getPreferencePageID() {
54 return PREF_ID;
55 }
56
57 /* (non-Javadoc)
58 * @see org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage#getPropertyPageID()
59 */
60 @Override
61 protected String getPropertyPageID() {
62 return PROP_ID;
63 }
64}