Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/ScaleTab.java')
-rw-r--r--examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/ScaleTab.java230
1 files changed, 0 insertions, 230 deletions
diff --git a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/ScaleTab.java b/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/ScaleTab.java
deleted file mode 100644
index 1ab2e0af08..0000000000
--- a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/ScaleTab.java
+++ /dev/null
@@ -1,230 +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 ScaleTab extends RangeTab {
- /* Example widgets and groups that contain them */
- Scale scale1;
- Group scaleGroup;
-
- /* Spinner widgets added to the "Control" group */
- Spinner incrementSpinner, pageIncrementSpinner;
-
- /**
- * Creates the Tab within a given instance of ControlExample.
- */
- ScaleTab(ControlExample instance) {
- super(instance);
- }
-
- /**
- * Creates the "Control" widget children.
- */
- void createControlWidgets () {
- super.createControlWidgets ();
- createIncrementGroup ();
- createPageIncrementGroup ();
- }
-
- /**
- * Creates the "Example" group.
- */
- void createExampleGroup () {
- super.createExampleGroup ();
-
- /* Create a group for the scale */
- scaleGroup = new Group (exampleGroup, SWT.NONE);
- scaleGroup.setLayout (new GridLayout ());
- scaleGroup.setLayoutData (new GridData (SWT.FILL, SWT.FILL, true, true));
- scaleGroup.setText ("Scale");
-
- }
-
- /**
- * 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 */
- scale1 = new Scale (scaleGroup, 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 ();
- }
- });
- }
-
- /**
- * Gets the "Example" widget children.
- */
- Widget [] getExampleWidgets () {
- return new Widget [] {scale1};
- }
-
- /**
- * 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 "Scale";
- }
-
- /**
- * Sets the state of the "Example" widgets.
- */
- void setExampleWidgetState () {
- super.setExampleWidgetState ();
- if (!instance.startup) {
- setWidgetIncrement ();
- setWidgetPageIncrement ();
- }
- }
-
- /**
- * Gets the default maximum of the "Example" widgets.
- */
- int getDefaultMaximum () {
- return scale1.getMaximum();
- }
-
- /**
- * Gets the default minimim of the "Example" widgets.
- */
- int getDefaultMinimum () {
- return scale1.getMinimum();
- }
-
- /**
- * Gets the default selection of the "Example" widgets.
- */
- int getDefaultSelection () {
- return scale1.getSelection();
- }
-
- /**
- * Gets the default increment of the "Example" widgets.
- */
- int getDefaultIncrement () {
- return scale1.getIncrement();
- }
-
- /**
- * Gets the default page increment of the "Example" widgets.
- */
- int getDefaultPageIncrement () {
- return scale1.getPageIncrement();
- }
-
- /**
- * Sets the increment of the "Example" widgets.
- */
- void setWidgetIncrement () {
- scale1.setIncrement (incrementSpinner.getSelection ());
- }
-
- /**
- * Sets the minimim of the "Example" widgets.
- */
- void setWidgetMaximum () {
- scale1.setMaximum (maximumSpinner.getSelection ());
- }
-
- /**
- * Sets the minimim of the "Example" widgets.
- */
- void setWidgetMinimum () {
- scale1.setMinimum (minimumSpinner.getSelection ());
- }
-
- /**
- * Sets the page increment of the "Example" widgets.
- */
- void setWidgetPageIncrement () {
- scale1.setPageIncrement (pageIncrementSpinner.getSelection ());
- }
-
- /**
- * Sets the selection of the "Example" widgets.
- */
- void setWidgetSelection () {
- scale1.setSelection (selectionSpinner.getSelection ());
- }
-}

Back to the top