1 files changed, 0 insertions, 317 deletions
diff --git a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SpinnerTab.java b/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SpinnerTab.java
deleted file mode 100644
index 8208d5bbbc..0000000000
--- a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/SpinnerTab.java
+++ /dev/null
@@ -1,317 +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.events.*;
-import org.eclipse.swt.layout.*;
-
-class SpinnerTab extends RangeTab {
-
-	/* Example widgets and groups that contain them */
-	Spinner spinner1;
-	Group spinnerGroup;
-	
-	/* Style widgets added to the "Style" group */
-	Button readOnlyButton, wrapButton;
-	
-	/* Spinner widgets added to the "Control" group */
-	Spinner incrementSpinner, pageIncrementSpinner, digitsSpinner;
-
-	/**
-	 * Creates the Tab within a given instance of ControlExample.
-	 */
-	SpinnerTab(ControlExample instance) {
-		super(instance);
-	}
-	
-	/**
-	 * Creates the "Control" widget children.
-	 */
-	void createControlWidgets () {
-		super.createControlWidgets ();
-		createIncrementGroup ();
-		createPageIncrementGroup ();
-		createDigitsGroup ();
-	}
-	
-	/**
-	 * Creates the "Example" group.
-	 */
-	void createExampleGroup () {
-		super.createExampleGroup ();
-		
-		/* Create a group for the spinner */
-		spinnerGroup = new Group (exampleGroup, SWT.NONE);
-		spinnerGroup.setLayout (new GridLayout ());
-		spinnerGroup.setLayoutData (new GridData (SWT.FILL, SWT.FILL, true, true));
-		spinnerGroup.setText ("Spinner");
-	}
-	
-	/**
-	 * Creates the "Example" widgets.
-	 */
-	void createExampleWidgets () {
-		
-		/* Compute the widget style */
-		int style = getDefaultStyle();
-		if (readOnlyButton.getSelection ()) style |= SWT.READ_ONLY;
-		if (borderButton.getSelection ()) style |= SWT.BORDER;
-		if (wrapButton.getSelection ()) style |= SWT.WRAP;
-		
-		/* Create the example widgets */
-		spinner1 = new Spinner (spinnerGroup, 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 digits
-	 * attribute of the example widget.
-	 */
-	void createDigitsGroup() {
-	
-		/* Create the group */
-		Group digitsGroup = new Group (controlGroup, SWT.NONE);
-		digitsGroup.setLayout (new GridLayout ());
-		digitsGroup.setText (ControlExample.getResourceString("Digits"));
-		digitsGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
-	
-		/* Create the Spinner widget */
-		digitsSpinner = new Spinner (digitsGroup, SWT.BORDER);
-		digitsSpinner.setMaximum (100000);
-		digitsSpinner.setSelection (getDefaultDigits());
-		digitsSpinner.setPageIncrement (100);
-		digitsSpinner.setIncrement (1);
-		digitsSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
-	
-		/* Add the listeners */
-		digitsSpinner.addSelectionListener (new SelectionAdapter () {
-			public void widgetSelected (SelectionEvent e) {		
-				setWidgetDigits ();
-			}
-		});
-	}
-	
-	/**
-	 * Creates the tab folder page.
-	 *
-	 * @param tabFolder org.eclipse.swt.widgets.TabFolder
-	 * @return the new page for the tab folder
-	 */
-	Composite createTabFolderPage (TabFolder tabFolder) {
-		super.createTabFolderPage (tabFolder);
-
-		/*
-		 * Add a resize listener to the tabFolderPage so that
-		 * if the user types into the example widget to change
-		 * its preferred size, and then resizes the shell, we
-		 * recalculate the preferred size correctly.
-		 */
-		tabFolderPage.addControlListener(new ControlAdapter() {
-			public void controlResized(ControlEvent e) {
-				setExampleWidgetSize ();
-			}
-		});
-		
-		return tabFolderPage;
-	}
-
-	/**
-	 * Creates the "Style" group.
-	 */
-	void createStyleGroup () {
-		orientationButtons = false;
-		super.createStyleGroup ();
-	
-		/* Create the extra widgets */
-		readOnlyButton = new Button (styleGroup, SWT.CHECK);
-		readOnlyButton.setText ("SWT.READ_ONLY");
-		wrapButton = new Button (styleGroup, SWT.CHECK);
-		wrapButton.setText ("SWT.WRAP");
-	}
-	
-	/**
-	 * Gets the "Example" widget children.
-	 */
-	Widget [] getExampleWidgets () {
-		return new Widget [] {spinner1};
-	}
-	
-	/**
-	 * 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 "Spinner";
-	}
-	
-	/**
-	 * Sets the state of the "Example" widgets.
-	 */
-	void setExampleWidgetState () {
-		super.setExampleWidgetState ();
-		readOnlyButton.setSelection ((spinner1.getStyle () & SWT.READ_ONLY) != 0);
-		wrapButton.setSelection ((spinner1.getStyle () & SWT.WRAP) != 0);
-		if (!instance.startup) {
-			setWidgetIncrement ();
-			setWidgetPageIncrement ();
-			setWidgetDigits ();
-		}
-	}
-
-	/**
-	 * Gets the default maximum of the "Example" widgets.
-	 */
-	int getDefaultMaximum () {
-		return spinner1.getMaximum();
-	}
-	
-	/**
-	 * Gets the default minimim of the "Example" widgets.
-	 */
-	int getDefaultMinimum () {
-		return spinner1.getMinimum();
-	}
-	
-	/**
-	 * Gets the default selection of the "Example" widgets.
-	 */
-	int getDefaultSelection () {
-		return spinner1.getSelection();
-	}
-
-	/**
-	 * Gets the default increment of the "Example" widgets.
-	 */
-	int getDefaultIncrement () {
-		return spinner1.getIncrement();
-	}
-	
-	/**
-	 * Gets the default page increment of the "Example" widgets.
-	 */
-	int getDefaultPageIncrement () {
-		return spinner1.getPageIncrement();
-	}
-	
-	/**
-	 * Gets the default digits of the "Example" widgets.
-	 */
-	int getDefaultDigits () {
-		return spinner1.getDigits();
-	}
-
-	/**
-	 * Sets the increment of the "Example" widgets.
-	 */
-	void setWidgetIncrement () {
-		spinner1.setIncrement (incrementSpinner.getSelection ());
-	}
-	
-	/**
-	 * Sets the minimim of the "Example" widgets.
-	 */
-	void setWidgetMaximum () {
-		spinner1.setMaximum (maximumSpinner.getSelection ());
-	}
-	
-	/**
-	 * Sets the minimim of the "Example" widgets.
-	 */
-	void setWidgetMinimum () {
-		spinner1.setMinimum (minimumSpinner.getSelection ());
-	}
-	
-	/**
-	 * Sets the page increment of the "Example" widgets.
-	 */
-	void setWidgetPageIncrement () {
-		spinner1.setPageIncrement (pageIncrementSpinner.getSelection ());
-	}
-	
-	/**
-	 * Sets the digits of the "Example" widgets.
-	 */
-	void setWidgetDigits () {
-		spinner1.setDigits (digitsSpinner.getSelection ());
-	}
-	
-	/**
-	 * Sets the selection of the "Example" widgets.
-	 */
-	void setWidgetSelection () {
-		spinner1.setSelection (selectionSpinner.getSelection ());
-	}
-}