diff options
Diffstat (limited to 'examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SliderTab.java')
-rwxr-xr-x | examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SliderTab.java | 273 |
1 files changed, 0 insertions, 273 deletions
diff --git a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SliderTab.java b/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SliderTab.java deleted file mode 100755 index 1bb8390ddf..0000000000 --- a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SliderTab.java +++ /dev/null @@ -1,273 +0,0 @@ -/******************************************************************************* - * 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.*; -import org.eclipse.swt.widgets.*; -import org.eclipse.swt.layout.*; -import org.eclipse.swt.events.*; - -class SliderTab extends RangeTab { - /* Example widgets and groups that contain them */ - Slider slider1; - Group sliderGroup; - - /* Spinner widgets added to the "Control" group */ - Spinner incrementSpinner, pageIncrementSpinner, thumbSpinner; - - /** - * 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 "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 (); - } - } - - /** - * 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 selection of the "Example" widgets. - */ - int getDefaultSelection () { - return slider1.getSelection(); - } - - /** - * Gets the default increment of the "Example" widgets. - */ - int getDefaultIncrement () { - return slider1.getIncrement(); - } - - /** - * Gets the default page increment of the "Example" widgets. - */ - int getDefaultPageIncrement () { - return slider1.getPageIncrement(); - } - - /** - * Gets the default thumb of the "Example" widgets. - */ - int getDefaultThumb () { - return slider1.getThumb(); - } - - /** - * 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 ()); - } -} |