Skip to main content

This CGIT instance is deprecated, and repositories have been moved to Gitlab or Github. See the repository descriptions for specific locations.

summaryrefslogtreecommitdiffstats
path: root/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerPreferencePage.java
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerPreferencePage.java')
-rw-r--r--plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerPreferencePage.java256
1 files changed, 0 insertions, 256 deletions
diff --git a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerPreferencePage.java b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerPreferencePage.java
deleted file mode 100644
index d226952d2..000000000
--- a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerPreferencePage.java
+++ /dev/null
@@ -1,256 +0,0 @@
-/**********************************************************************
- * Copyright (c) 2003, 2006 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.server.ui.internal;
-
-import org.eclipse.jface.dialogs.Dialog;
-import org.eclipse.jface.preference.PreferencePage;
-import org.eclipse.wst.server.core.internal.ServerPreferences;
-import org.eclipse.swt.SWT;
-import org.eclipse.swt.events.SelectionAdapter;
-import org.eclipse.swt.events.SelectionEvent;
-import org.eclipse.swt.layout.GridData;
-import org.eclipse.swt.layout.GridLayout;
-import org.eclipse.swt.widgets.Button;
-import org.eclipse.swt.widgets.Combo;
-import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Control;
-import org.eclipse.swt.widgets.Label;
-import org.eclipse.swt.widgets.Spinner;
-import org.eclipse.ui.IWorkbench;
-import org.eclipse.ui.IWorkbenchPreferencePage;
-import org.eclipse.ui.PlatformUI;
-import org.eclipse.ui.help.IWorkbenchHelpSystem;
-/**
- * The preference page that holds server properties.
- */
-public class ServerPreferencePage extends PreferencePage implements IWorkbenchPreferencePage {
- protected ServerPreferences preferences;
- protected ServerUIPreferences uiPreferences;
-
- protected Button promptIrreversible;
-
- protected Button showOnActivity;
-
- protected Button syncOnStartup;
-
- protected Button autoPublishOnAction;
- protected Button autoPublishLocal;
- protected Spinner autoPublishLocalTime;
- protected Button autoPublishRemote;
- protected Spinner autoPublishRemoteTime;
-
- protected Combo machineSpeedCombo;
-
- /**
- * ServerPreferencesPage constructor comment.
- */
- public ServerPreferencePage() {
- super();
-
- preferences = ServerPreferences.getInstance();
- uiPreferences = ServerUIPlugin.getPreferences();
- }
-
- /**
- * Create the preference options.
- *
- * @param parent org.eclipse.swt.widgets.Composite
- * @return org.eclipse.swt.widgets.Control
- */
- protected Control createContents(Composite parent) {
- initializeDialogUnits(parent);
- IWorkbenchHelpSystem whs = PlatformUI.getWorkbench().getHelpSystem();
- whs.setHelp(parent, ContextIds.PREF_GENERAL);
-
- Composite composite = new Composite(parent, SWT.NONE);
- GridLayout layout = new GridLayout();
- layout.horizontalSpacing = convertHorizontalDLUsToPixels(4);
- layout.verticalSpacing = convertVerticalDLUsToPixels(4);
- layout.marginWidth = 0;
- layout.marginHeight = 0;
- layout.numColumns = 3;
- composite.setLayout(layout);
- GridData data = new GridData(GridData.FILL_HORIZONTAL | GridData.VERTICAL_ALIGN_FILL);
- composite.setLayoutData(data);
-
- showOnActivity = new Button(composite, SWT.CHECK);
- showOnActivity.setText(Messages.prefShowOnActivity);
- data = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
- data.horizontalSpan = 3;
- showOnActivity.setLayoutData(data);
- showOnActivity.setSelection(uiPreferences.getShowOnActivity());
- whs.setHelp(showOnActivity, ContextIds.PREF_GENERAL_SHOW_ON_ACTIVITY);
-
- syncOnStartup = new Button(composite, SWT.CHECK);
- syncOnStartup.setText(Messages.prefSyncStartup);
- data = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
- data.horizontalSpan = 3;
- syncOnStartup.setLayoutData(data);
- syncOnStartup.setSelection(preferences.isSyncOnStartup());
- whs.setHelp(syncOnStartup, ContextIds.PREF_GENERAL_SYNC_STARTUP);
-
- autoPublishLocal = new Button(composite, SWT.CHECK);
- autoPublishLocal.setText(Messages.prefAutoPublishLocal);
- data = new GridData(GridData.FILL_HORIZONTAL);
- data.horizontalSpan = 3;
- autoPublishLocal.setLayoutData(data);
- autoPublishLocal.setSelection(preferences.getAutoPublishLocal());
- whs.setHelp(autoPublishLocal, ContextIds.PREF_GENERAL_AUTOPUBLISH_LOCAL);
-
- final Label autoPublishLocalTimeLabel = new Label(composite, SWT.NONE);
- autoPublishLocalTimeLabel.setText(Messages.prefAutoPublishLocalTime);
- data = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
- data.horizontalSpan = 2;
- data.horizontalIndent = 20;
- autoPublishLocalTimeLabel.setLayoutData(data);
- autoPublishLocalTimeLabel.setEnabled(autoPublishLocal.getSelection());
-
- autoPublishLocalTime = new Spinner(composite, SWT.BORDER);
- autoPublishLocalTime.setMinimum(0);
- autoPublishLocalTime.setMaximum(120);
- autoPublishLocalTime.setSelection(preferences.getAutoPublishLocalTime());
- autoPublishLocalTime.setEnabled(autoPublishLocal.getSelection());
- data = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
- data.widthHint = 60;
- autoPublishLocalTime.setLayoutData(data);
- whs.setHelp(autoPublishLocalTime, ContextIds.PREF_GENERAL_AUTOPUBLISH_LOCAL);
-
- autoPublishLocal.addSelectionListener(new SelectionAdapter() {
- public void widgetSelected(SelectionEvent e) {
- autoPublishLocalTimeLabel.setEnabled(autoPublishLocal.getSelection());
- autoPublishLocalTime.setEnabled(autoPublishLocal.getSelection());
- }
- });
-
- autoPublishRemote = new Button(composite, SWT.CHECK);
- autoPublishRemote.setText(Messages.prefAutoPublishRemote);
- data = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
- data.horizontalSpan = 3;
- autoPublishRemote.setLayoutData(data);
- autoPublishRemote.setSelection(preferences.getAutoPublishRemote());
- whs.setHelp(autoPublishRemote, ContextIds.PREF_GENERAL_AUTOPUBLISH_REMOTE);
-
- final Label autoPublishRemoteTimeLabel = new Label(composite, SWT.NONE);
- autoPublishRemoteTimeLabel.setText(Messages.prefAutoPublishRemoteTime);
- data = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
- data.horizontalSpan = 2;
- data.horizontalIndent = 20;
- autoPublishRemoteTimeLabel.setLayoutData(data);
- autoPublishRemoteTimeLabel.setEnabled(autoPublishRemote.getSelection());
-
- autoPublishRemoteTime = new Spinner(composite, SWT.BORDER);
- autoPublishRemoteTime.setMinimum(0);
- autoPublishRemoteTime.setMaximum(120);
- autoPublishRemoteTime.setSelection(preferences.getAutoPublishRemoteTime());
- autoPublishRemoteTime.setEnabled(autoPublishRemote.getSelection());
- data = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
- data.widthHint = 60;
- autoPublishRemoteTime.setLayoutData(data);
- whs.setHelp(autoPublishRemoteTime, ContextIds.PREF_GENERAL_AUTOPUBLISH_REMOTE);
-
- autoPublishRemote.addSelectionListener(new SelectionAdapter() {
- public void widgetSelected(SelectionEvent e) {
- autoPublishRemoteTimeLabel.setEnabled(autoPublishRemote.getSelection());
- autoPublishRemoteTime.setEnabled(autoPublishRemote.getSelection());
- }
- });
-
- promptIrreversible = new Button(composite, SWT.CHECK);
- promptIrreversible.setText(Messages.prefPromptIrreversible);
- data = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
- data.horizontalSpan = 3;
- promptIrreversible.setLayoutData(data);
- promptIrreversible.setSelection(uiPreferences.getPromptBeforeIrreversibleChange());
- whs.setHelp(promptIrreversible, ContextIds.PREF_GENERAL_PROMPT_IRREVERSIBLE);
-
- Label label = new Label(composite, SWT.NONE);
- data = new GridData();
- data.horizontalSpan = 3;
- label.setLayoutData(data);
-
- label = new Label(composite, SWT.NONE);
- label.setText(Messages.prefMachineSpeed);
-
- machineSpeedCombo = new Combo(composite, SWT.READ_ONLY);
- String[] items = new String[] {
- Messages.prefMachineSpeedUnlimited,
- Messages.prefMachineSpeedVerySlow,
- Messages.prefMachineSpeedSlow,
- Messages.prefMachineSpeedAverage,
- Messages.prefMachineSpeedFast,
- Messages.prefMachineSpeedVeryFast
- };
- machineSpeedCombo.setItems(items);
- int speed = preferences.getMachineSpeed();
- if (speed < 0)
- machineSpeedCombo.select(0);
- else
- machineSpeedCombo.select((speed - 1) / 2 + 1);
- data = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
- data.horizontalSpan = 2;
- machineSpeedCombo.setLayoutData(data);
- whs.setHelp(machineSpeedCombo, ContextIds.PREF_GENERAL_TIMEOUT_DELAY);
-
- Dialog.applyDialogFont(composite);
-
- return composite;
- }
-
- /**
- * Initializes this preference page using the passed workbench.
- *
- * @param workbench the current workbench
- */
- public void init(IWorkbench workbench) {
- // do nothing
- }
-
- /**
- * Performs special processing when this page's Defaults button has been pressed.
- */
- protected void performDefaults() {
- promptIrreversible.setSelection(uiPreferences.getDefaultPromptBeforeIrreversibleChange());
- showOnActivity.setSelection(uiPreferences.getDefaultShowOnActivity());
-
- syncOnStartup.setSelection(preferences.getDefaultSyncOnStartup());
- autoPublishLocal.setSelection(preferences.getDefaultAutoPublishLocal());
- autoPublishLocalTime.setSelection(preferences.getDefaultAutoPublishLocalTime());
- autoPublishRemote.setSelection(preferences.getDefaultAutoPublishRemote());
- autoPublishRemoteTime.setSelection(preferences.getDefaultAutoPublishRemoteTime());
-
- machineSpeedCombo.select((preferences.getDefaultMachineSpeed() - 1) / 2 + 1);
-
- super.performDefaults();
- }
-
- /**
- * @see org.eclipse.jface.preference.IPreferencePage#performOk()
- */
- public boolean performOk() {
- preferences.setSyncOnStartup(syncOnStartup.getSelection());
- uiPreferences.setPromptBeforeIrreversibleChange(promptIrreversible.getSelection());
- uiPreferences.setShowOnActivity(showOnActivity.getSelection());
-
- preferences.setAutoPublishLocal(autoPublishLocal.getSelection());
- preferences.setAutoPublishLocalTime(autoPublishLocalTime.getSelection());
- preferences.setAutoPublishRemote(autoPublishRemote.getSelection());
- preferences.setAutoPublishRemoteTime(autoPublishRemoteTime.getSelection());
-
- int speed = machineSpeedCombo.getSelectionIndex();
- if (speed == 0)
- speed = -1;
- else
- speed = (speed - 1) * 2 + 1;
- preferences.setMachineSpeed(speed);
-
- return true;
- }
-} \ No newline at end of file

Back to the top