diff options
Diffstat (limited to 'bundles/org.eclipse.wst.jsdt.ui/src/org/eclipse/wst/jsdt/internal/ui/preferences/JavaBasePreferencePage.java')
| -rw-r--r-- | bundles/org.eclipse.wst.jsdt.ui/src/org/eclipse/wst/jsdt/internal/ui/preferences/JavaBasePreferencePage.java | 223 |
1 files changed, 0 insertions, 223 deletions
diff --git a/bundles/org.eclipse.wst.jsdt.ui/src/org/eclipse/wst/jsdt/internal/ui/preferences/JavaBasePreferencePage.java b/bundles/org.eclipse.wst.jsdt.ui/src/org/eclipse/wst/jsdt/internal/ui/preferences/JavaBasePreferencePage.java deleted file mode 100644 index dc440c39..00000000 --- a/bundles/org.eclipse.wst.jsdt.ui/src/org/eclipse/wst/jsdt/internal/ui/preferences/JavaBasePreferencePage.java +++ /dev/null @@ -1,223 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2000, 2009 IBM Corporation and others. - * All rights reserved. This program and the accompanying materials - * are made available under the terms of the Eclipse Public License v1.0 - * which accompanies this distribution, and is available at - * http://www.eclipse.org/legal/epl-v10.html - * - * Contributors: - * IBM Corporation - initial API and implementation - *******************************************************************************/ -package org.eclipse.wst.jsdt.internal.ui.preferences; - -import java.util.ArrayList; - -import org.eclipse.jface.dialogs.Dialog; -import org.eclipse.jface.dialogs.IDialogConstants; -import org.eclipse.jface.dialogs.MessageDialog; -import org.eclipse.jface.preference.IPreferenceStore; -import org.eclipse.jface.preference.PreferencePage; -import org.eclipse.swt.SWT; -import org.eclipse.swt.events.SelectionEvent; -import org.eclipse.swt.events.SelectionListener; -import org.eclipse.swt.layout.GridData; -import org.eclipse.swt.layout.GridLayout; -import org.eclipse.swt.widgets.Button; -import org.eclipse.swt.widgets.Composite; -import org.eclipse.swt.widgets.Control; -import org.eclipse.swt.widgets.Group; -import org.eclipse.swt.widgets.Label; -import org.eclipse.ui.IWorkbench; -import org.eclipse.ui.IWorkbenchPreferencePage; -import org.eclipse.ui.PlatformUI; -import org.eclipse.wst.jsdt.internal.ui.IJavaHelpContextIds; -import org.eclipse.wst.jsdt.internal.ui.IUIConstants; -import org.eclipse.wst.jsdt.internal.ui.JavaScriptPlugin; -import org.eclipse.wst.jsdt.internal.ui.dialogs.OptionalMessageDialog; -import org.eclipse.wst.jsdt.internal.ui.refactoring.RefactoringSavePreferences; -import org.eclipse.wst.jsdt.internal.ui.util.SWTUtil; -import org.eclipse.wst.jsdt.ui.PreferenceConstants; - -/* - * The page for setting general java plugin preferences. - * See PreferenceConstants to access or change these values through public API. - */ -public class JavaBasePreferencePage extends PreferencePage implements IWorkbenchPreferencePage { - - public static final String JAVA_BASE_PREF_PAGE_ID= "org.eclipse.wst.jsdt.ui.preferences.JavaBasePreferencePage"; //$NON-NLS-1$ - - private static final String DOUBLE_CLICK= PreferenceConstants.DOUBLE_CLICK; - private static final String DOUBLE_CLICK_GOES_INTO= PreferenceConstants.DOUBLE_CLICK_GOES_INTO; - private static final String DOUBLE_CLICK_EXPANDS= PreferenceConstants.DOUBLE_CLICK_EXPANDS; - - private ArrayList fCheckBoxes; - private ArrayList fRadioButtons; - - public JavaBasePreferencePage() { - super(); - setPreferenceStore(JavaScriptPlugin.getDefault().getPreferenceStore()); - setDescription(PreferencesMessages.JavaBasePreferencePage_description); - - fRadioButtons= new ArrayList(); - fCheckBoxes= new ArrayList(); - } - - /* - * @see IWorkbenchPreferencePage#init(IWorkbench) - */ - public void init(IWorkbench workbench) { - } - - /* - * @see PreferencePage#createControl(Composite) - */ - public void createControl(Composite parent) { - super.createControl(parent); - PlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(), IJavaHelpContextIds.JAVA_BASE_PREFERENCE_PAGE); - } - - private Button addRadioButton(Composite parent, String label, String key, String value) { - GridData gd= new GridData(GridData.HORIZONTAL_ALIGN_FILL); - - Button button= new Button(parent, SWT.RADIO); - button.setText(label); - button.setData(new String[] { key, value }); - button.setLayoutData(gd); - - button.setSelection(value.equals(getPreferenceStore().getString(key))); - - fRadioButtons.add(button); - return button; - } - - private Button addCheckBox(Composite parent, String label, String key) { - GridData gd= new GridData(GridData.HORIZONTAL_ALIGN_FILL); - - Button button= new Button(parent, SWT.CHECK); - button.setText(label); - button.setData(key); - button.setLayoutData(gd); - - button.setSelection(getPreferenceStore().getBoolean(key)); - - fCheckBoxes.add(button); - return button; - } - - protected Control createContents(Composite parent) { - initializeDialogUnits(parent); - - Composite result= new Composite(parent, SWT.NONE); - GridLayout layout= new GridLayout(); - layout.marginHeight= convertVerticalDLUsToPixels(IDialogConstants.VERTICAL_MARGIN); - layout.marginWidth= 0; - layout.verticalSpacing= convertVerticalDLUsToPixels(10); - layout.horizontalSpacing= convertHorizontalDLUsToPixels(IDialogConstants.HORIZONTAL_SPACING); - result.setLayout(layout); - - Group doubleClickGroup= new Group(result, SWT.NONE); - doubleClickGroup.setLayout(new GridLayout()); - doubleClickGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); - doubleClickGroup.setText(PreferencesMessages.JavaBasePreferencePage_doubleclick_action); - addRadioButton(doubleClickGroup, PreferencesMessages.JavaBasePreferencePage_doubleclick_gointo, DOUBLE_CLICK, DOUBLE_CLICK_GOES_INTO); - addRadioButton(doubleClickGroup, PreferencesMessages.JavaBasePreferencePage_doubleclick_expand, DOUBLE_CLICK, DOUBLE_CLICK_EXPANDS); - - if ( IUIConstants.SUPPORT_REFACTORING ) { - Group refactoringGroup= new Group(result, SWT.NONE); - refactoringGroup.setLayout(new GridLayout()); - refactoringGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); - refactoringGroup.setText(PreferencesMessages.JavaBasePreferencePage_refactoring_title); - addCheckBox(refactoringGroup, - PreferencesMessages.JavaBasePreferencePage_refactoring_auto_save, - RefactoringSavePreferences.PREF_SAVE_ALL_EDITORS); - addCheckBox(refactoringGroup, - PreferencesMessages.JavaBasePreferencePage_refactoring_lightweight, - PreferenceConstants.REFACTOR_LIGHTWEIGHT); - } - - Group group= new Group(result, SWT.NONE); - group.setLayout(new GridLayout()); - group.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); - group.setText(PreferencesMessages.JavaBasePreferencePage_search); - - addCheckBox(group, PreferencesMessages.JavaBasePreferencePage_search_small_menu, PreferenceConstants.SEARCH_USE_REDUCED_MENU); - - - layout= new GridLayout(); - layout.numColumns= 2; - - Group dontAskGroup= new Group(result, SWT.NONE); - dontAskGroup.setLayout(layout); - dontAskGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); - dontAskGroup.setText(PreferencesMessages.JavaBasePreferencePage_dialogs); - - Label label= new Label(dontAskGroup, SWT.WRAP); - label.setText(PreferencesMessages.JavaBasePreferencePage_do_not_hide_description); - GridData data= new GridData(GridData.FILL, GridData.CENTER, true, false); - data.widthHint= convertVerticalDLUsToPixels(50); - label.setLayoutData(data); - - Button clearButton= new Button(dontAskGroup, SWT.PUSH); - clearButton.setText(PreferencesMessages.JavaBasePreferencePage_do_not_hide_button); - clearButton.setLayoutData(new GridData(GridData.FILL, GridData.BEGINNING, false, false)); - clearButton.addSelectionListener(new SelectionListener() { - public void widgetSelected(SelectionEvent e) { - unhideAllDialogs(); - } - public void widgetDefaultSelected(SelectionEvent e) { - unhideAllDialogs(); - } - }); - - - SWTUtil.setButtonDimensionHint(clearButton); - Dialog.applyDialogFont(result); - return result; - } - - protected final void unhideAllDialogs() { - OptionalMessageDialog.clearAllRememberedStates(); - MessageDialog.openInformation(getShell(), PreferencesMessages.JavaBasePreferencePage_do_not_hide_dialog_title, PreferencesMessages.JavaBasePreferencePage_do_not_hide_dialog_message); - } - - /* - * @see PreferencePage#performDefaults() - */ - protected void performDefaults() { - IPreferenceStore store= getPreferenceStore(); - for (int i= 0; i < fCheckBoxes.size(); i++) { - Button button= (Button) fCheckBoxes.get(i); - String key= (String) button.getData(); - button.setSelection(store.getDefaultBoolean(key)); - } - for (int i= 0; i < fRadioButtons.size(); i++) { - Button button= (Button) fRadioButtons.get(i); - String[] info= (String[]) button.getData(); - button.setSelection(info[1].equals(store.getDefaultString(info[0]))); - } - super.performDefaults(); - } - - /* - * @see IPreferencePage#performOk() - */ - public boolean performOk() { - IPreferenceStore store= getPreferenceStore(); - for (int i= 0; i < fCheckBoxes.size(); i++) { - Button button= (Button) fCheckBoxes.get(i); - String key= (String) button.getData(); - store.setValue(key, button.getSelection()); - } - for (int i= 0; i < fRadioButtons.size(); i++) { - Button button= (Button) fRadioButtons.get(i); - if (button.getSelection()) { - String[] info= (String[]) button.getData(); - store.setValue(info[0], info[1]); - } - } - - JavaScriptPlugin.getDefault().savePluginPreferences(); - return super.performOk(); - } - -}
\ No newline at end of file |