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 ());
-	}
-}