| /******************************************************************************* |
| * Copyright (c) 2000, 2005 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 */ |
| Scale scale1; |
| Slider slider1; |
| Group sliderGroup, scaleGroup; |
| |
| /* Scale widgets added to the "Control" group */ |
| Scale incrementScale, pageIncrementScale, thumbScale; |
| |
| /** |
| * 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"); |
| |
| /* 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); |
| scale1.setMaximum (100); |
| scale1.setSelection (50); |
| scale1.setIncrement (5); |
| scale1.setPageIncrement (10); |
| slider1 = new Slider(sliderGroup, style); |
| slider1.setMaximum (100); |
| slider1.setSelection (50); |
| slider1.setIncrement(5); |
| slider1.setPageIncrement (10); |
| slider1.setThumb (10); |
| } |
| |
| /** |
| * 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 scale widget */ |
| incrementScale = new Scale (incrementGroup, SWT.NONE); |
| incrementScale.setMaximum (100); |
| incrementScale.setSelection (5); |
| incrementScale.setPageIncrement (10); |
| incrementScale.setIncrement (5); |
| |
| GridData data = new GridData (GridData.FILL_HORIZONTAL); |
| data.widthHint = 100; |
| incrementScale.setLayoutData (data); |
| |
| /* Add the listeners */ |
| incrementScale.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 scale widget */ |
| pageIncrementScale = new Scale (pageIncrementGroup, SWT.NONE); |
| pageIncrementScale.setMaximum (100); |
| pageIncrementScale.setSelection (10); |
| pageIncrementScale.setPageIncrement (10); |
| pageIncrementScale.setIncrement (5); |
| |
| GridData data = new GridData (GridData.FILL_HORIZONTAL); |
| data.widthHint = 100; |
| pageIncrementScale.setLayoutData (data); |
| |
| /* Add the listeners */ |
| pageIncrementScale.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 scale widget */ |
| thumbScale = new Scale (thumbGroup, SWT.NONE); |
| thumbScale.setMaximum (100); |
| thumbScale.setSelection (10); |
| thumbScale.setPageIncrement (10); |
| thumbScale.setIncrement (5); |
| |
| GridData data = new GridData (GridData.FILL_HORIZONTAL); |
| data.widthHint = 100; |
| thumbScale.setLayoutData (data); |
| |
| /* Add the listeners */ |
| thumbScale.addSelectionListener (new SelectionAdapter () { |
| public void widgetSelected (SelectionEvent event) { |
| setWidgetThumb (); |
| } |
| }); |
| } |
| |
| /** |
| * Gets the "Example" widget children. |
| */ |
| Control [] getExampleWidgets () { |
| return new Control [] {scale1, 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[] {"ToolTipText"}; |
| } |
| |
| /** |
| * Gets the text for the tab folder item. |
| */ |
| String getTabText () { |
| if (SWT.getPlatform().equals("carbon")) return "S/S"; |
| return "Slider/Scale"; |
| } |
| |
| /** |
| * Sets the state of the "Example" widgets. |
| */ |
| void setExampleWidgetState () { |
| super.setExampleWidgetState (); |
| setWidgetIncrement (); |
| setWidgetPageIncrement (); |
| setWidgetThumb (); |
| } |
| |
| /** |
| * Sets the increment of the "Example" widgets. |
| */ |
| void setWidgetIncrement () { |
| slider1.setIncrement (incrementScale.getSelection ()); |
| scale1.setIncrement (incrementScale.getSelection ()); |
| } |
| |
| /** |
| * Sets the minimim of the "Example" widgets. |
| */ |
| void setWidgetMaximum () { |
| slider1.setMaximum (maximumScale.getSelection ()); |
| scale1.setMaximum (maximumScale.getSelection ()); |
| } |
| |
| /** |
| * Sets the minimim of the "Example" widgets. |
| */ |
| void setWidgetMinimum () { |
| slider1.setMinimum (minimumScale.getSelection ()); |
| scale1.setMinimum (minimumScale.getSelection ()); |
| } |
| |
| /** |
| * Sets the page increment of the "Example" widgets. |
| */ |
| void setWidgetPageIncrement () { |
| slider1.setPageIncrement (pageIncrementScale.getSelection ()); |
| scale1.setPageIncrement (pageIncrementScale.getSelection ()); |
| } |
| |
| /** |
| * Sets the selection of the "Example" widgets. |
| */ |
| void setWidgetSelection () { |
| slider1.setSelection (selectionScale.getSelection ()); |
| scale1.setSelection (selectionScale.getSelection ()); |
| } |
| |
| /** |
| * Sets the thumb of the "Example" widgets. |
| */ |
| void setWidgetThumb () { |
| slider1.setThumb (thumbScale.getSelection ()); |
| } |
| } |