Mercurial > projects > dwt-samples
diff examples/controlexample/ScaleTab.d @ 78:4a04b6759f98
Clean up directory names
author | John Reimer <terminal.node@gmail.com> |
---|---|
date | Sat, 10 May 2008 13:32:45 -0700 |
parents | |
children | eb84f9418bbf |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/examples/controlexample/ScaleTab.d Sat May 10 13:32:45 2008 -0700 @@ -0,0 +1,243 @@ +/******************************************************************************* + * 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 + * Port to the D programming language: + * Frank Benoit <benoit@tionex.de> + *******************************************************************************/ +module examples.controlexample.ScaleTab; + + + +import dwt.DWT; +import dwt.events.SelectionAdapter; +import dwt.events.SelectionEvent; +import dwt.layout.GridData; +import dwt.layout.GridLayout; +import dwt.widgets.Group; +import dwt.widgets.Scale; +import dwt.widgets.Spinner; +import dwt.widgets.Widget; + +import examples.controlexample.Tab; +import examples.controlexample.ControlExample; +import examples.controlexample.RangeTab; + + +class ScaleTab : 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. + */ + this(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, DWT.NONE); + scaleGroup.setLayout (new GridLayout ()); + scaleGroup.setLayoutData (new GridData (DWT.FILL, DWT.FILL, true, true)); + scaleGroup.setText ("Scale"); + + } + + /** + * Creates the "Example" widgets. + */ + void createExampleWidgets () { + + /* Compute the widget style */ + int style = getDefaultStyle(); + if (horizontalButton.getSelection ()) style |= DWT.HORIZONTAL; + if (verticalButton.getSelection ()) style |= DWT.VERTICAL; + if (borderButton.getSelection ()) style |= DWT.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, DWT.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, DWT.BORDER); + incrementSpinner.setMaximum (100000); + incrementSpinner.setSelection (getDefaultIncrement()); + incrementSpinner.setPageIncrement (100); + incrementSpinner.setIncrement (1); + incrementSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false)); + + /* Add the listeners */ + incrementSpinner.addSelectionListener (new class() 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, DWT.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, DWT.BORDER); + pageIncrementSpinner.setMaximum (100000); + pageIncrementSpinner.setSelection (getDefaultPageIncrement()); + pageIncrementSpinner.setPageIncrement (100); + pageIncrementSpinner.setIncrement (1); + pageIncrementSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false)); + + /* Add the listeners */ + pageIncrementSpinner.addSelectionListener (new class() SelectionAdapter { + public void widgetSelected (SelectionEvent event) { + setWidgetPageIncrement (); + } + }); + } + + /** + * Gets the "Example" widget children. + */ + Widget [] getExampleWidgets () { + return [ cast(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). + */ + char[][] getMethodNames() { + return ["Selection", "ToolTipText"]; + } + + /** + * Gets the text for the tab folder item. + */ + char[] 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 ()); + } +}