plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/ServerPreferencePage.java - servertools/webtools.servertools - Git at Google

 /**********************************************************************
  * 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;
 	}
 }
	/**********************************************************************
	* 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;
	}
	}