SliderTab.java

/*******************************************************************************
 * Copyright (c) 2000, 2007 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.swt.examples.controlexample;

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.Group;
import org.eclipse.swt.widgets.Slider;
import org.eclipse.swt.widgets.Spinner;
import org.eclipse.swt.widgets.Widget;

class SliderTab extends RangeTab {
	/* Spinner widgets added to the "Control" group */
	Spinner	incrementSpinner, pageIncrementSpinner, thumbSpinner;
	/* Example widgets and groups that contain them */
	Slider	slider1;

	Group	sliderGroup;

	/**
	 * Creates the Tab within a given instance of ControlExample.
	 */
	SliderTab(ControlExample instance) {
		super(instance);
	}

	/**
	 * Creates the "Control" widget children.
	 */
	void createControlWidgets() {
		super.createControlWidgets();
		createThumbGroup();
		createIncrementGroup();
		createPageIncrementGroup();
	}

	/**
	 * Creates the "Example" group.
	 */
	void createExampleGroup() {
		super.createExampleGroup();

		/* Create a group for the slider */
		sliderGroup = new Group(exampleGroup, SWT.NONE);
		sliderGroup.setLayout(new GridLayout());
		sliderGroup.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
		sliderGroup.setText("Slider");
	}

	/**
	 * Creates the "Example" widgets.
	 */
	void createExampleWidgets() {

		/* Compute the widget style */
		int style = getDefaultStyle();
		if (horizontalButton.getSelection())
			style |= SWT.HORIZONTAL;
		if (verticalButton.getSelection())
			style |= SWT.VERTICAL;
		if (borderButton.getSelection())
			style |= SWT.BORDER;

		/* Create the example widgets */
		slider1 = new Slider(sliderGroup, style);
	}

	/**
	 * Create a group of widgets to control the increment attribute of the example widget.
	 */
	void createIncrementGroup() {

		/* Create the group */
		Group incrementGroup = new Group(controlGroup, SWT.NONE);
		incrementGroup.setLayout(new GridLayout());
		incrementGroup.setText(ControlExample.getResourceString("Increment"));
		incrementGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));

		/* Create the Spinner widget */
		incrementSpinner = new Spinner(incrementGroup, SWT.BORDER);
		incrementSpinner.setMaximum(100000);
		incrementSpinner.setSelection(getDefaultIncrement());
		incrementSpinner.setPageIncrement(100);
		incrementSpinner.setIncrement(1);
		incrementSpinner.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

		/* Add the listeners */
		incrementSpinner.addSelectionListener(new SelectionAdapter() {
			public void widgetSelected(SelectionEvent e) {
				setWidgetIncrement();
			}
		});
	}

	/**
	 * Create a group of widgets to control the page increment attribute of the example widget.
	 */
	void createPageIncrementGroup() {

		/* Create the group */
		Group pageIncrementGroup = new Group(controlGroup, SWT.NONE);
		pageIncrementGroup.setLayout(new GridLayout());
		pageIncrementGroup.setText(ControlExample.getResourceString("Page_Increment"));
		pageIncrementGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));

		/* Create the Spinner widget */
		pageIncrementSpinner = new Spinner(pageIncrementGroup, SWT.BORDER);
		pageIncrementSpinner.setMaximum(100000);
		pageIncrementSpinner.setSelection(getDefaultPageIncrement());
		pageIncrementSpinner.setPageIncrement(100);
		pageIncrementSpinner.setIncrement(1);
		pageIncrementSpinner.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

		/* Add the listeners */
		pageIncrementSpinner.addSelectionListener(new SelectionAdapter() {
			public void widgetSelected(SelectionEvent event) {
				setWidgetPageIncrement();
			}
		});
	}

	/**
	 * Create a group of widgets to control the thumb attribute of the example widget.
	 */
	void createThumbGroup() {

		/* Create the group */
		Group thumbGroup = new Group(controlGroup, SWT.NONE);
		thumbGroup.setLayout(new GridLayout());
		thumbGroup.setText(ControlExample.getResourceString("Thumb"));
		thumbGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));

		/* Create the Spinner widget */
		thumbSpinner = new Spinner(thumbGroup, SWT.BORDER);
		thumbSpinner.setMaximum(100000);
		thumbSpinner.setSelection(getDefaultThumb());
		thumbSpinner.setPageIncrement(100);
		thumbSpinner.setIncrement(1);
		thumbSpinner.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

		/* Add the listeners */
		thumbSpinner.addSelectionListener(new SelectionAdapter() {
			public void widgetSelected(SelectionEvent event) {
				setWidgetThumb();
			}
		});
	}

	/**
	 * Gets the default increment of the "Example" widgets.
	 */
	int getDefaultIncrement() {
		return slider1.getIncrement();
	}

	/**
	 * Gets the default maximum of the "Example" widgets.
	 */
	int getDefaultMaximum() {
		return slider1.getMaximum();
	}

	/**
	 * Gets the default minimim of the "Example" widgets.
	 */
	int getDefaultMinimum() {
		return slider1.getMinimum();
	}

	/**
	 * Gets the default page increment of the "Example" widgets.
	 */
	int getDefaultPageIncrement() {
		return slider1.getPageIncrement();
	}

	/**
	 * Gets the default selection of the "Example" widgets.
	 */
	int getDefaultSelection() {
		return slider1.getSelection();
	}

	/**
	 * Gets the default thumb of the "Example" widgets.
	 */
	int getDefaultThumb() {
		return slider1.getThumb();
	}

	/**
	 * Gets the "Example" widget children.
	 */
	Widget[] getExampleWidgets() {
		return new Widget[] { slider1 };
	}

	/**
	 * Returns a list of set/get API method names (without the set/get prefix) that can be used to set/get values in the
	 * example control(s).
	 */
	String[] getMethodNames() {
		return new String[] { "Selection", "ToolTipText" };
	}

	/**
	 * Gets the text for the tab folder item.
	 */
	String getTabText() {
		return "Slider";
	}

	/**
	 * Sets the state of the "Example" widgets.
	 */
	void setExampleWidgetState() {
		super.setExampleWidgetState();
		if (!instance.startup) {
			setWidgetIncrement();
			setWidgetPageIncrement();
			setWidgetThumb();
		}
	}

	/**
	 * Sets the increment of the "Example" widgets.
	 */
	void setWidgetIncrement() {
		slider1.setIncrement(incrementSpinner.getSelection());
	}

	/**
	 * Sets the minimim of the "Example" widgets.
	 */
	void setWidgetMaximum() {
		slider1.setMaximum(maximumSpinner.getSelection());
	}

	/**
	 * Sets the minimim of the "Example" widgets.
	 */
	void setWidgetMinimum() {
		slider1.setMinimum(minimumSpinner.getSelection());
	}

	/**
	 * Sets the page increment of the "Example" widgets.
	 */
	void setWidgetPageIncrement() {
		slider1.setPageIncrement(pageIncrementSpinner.getSelection());
	}

	/**
	 * Sets the selection of the "Example" widgets.
	 */
	void setWidgetSelection() {
		slider1.setSelection(selectionSpinner.getSelection());
	}

	/**
	 * Sets the thumb of the "Example" widgets.
	 */
	void setWidgetThumb() {
		slider1.setThumb(thumbSpinner.getSelection());
	}
}