Mercurial > projects > dwt-linux
view dwtexamples/controlexample/ScaleTab.d @ 144:424cc4e14124
some notes with todos and author notice
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Wed, 23 Jan 2008 01:08:24 +0100 |
parents | c3880d67f906 |
children |
line wrap: on
line source
/******************************************************************************* * 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 dwtexamples.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 dwtexamples.controlexample.Tab; import dwtexamples.controlexample.ControlExample; import dwtexamples.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 ()); } }