Mercurial > projects > dwt-samples
annotate examples/controlexample/SliderTab.d @ 161:eb84f9418bbf
Change module names to this not have examples in the FQN.
| author | Frank Benoit <benoit@tionex.de> |
|---|---|
| date | Mon, 01 Sep 2008 22:24:27 +0200 |
| parents | 4a04b6759f98 |
| children |
| rev | line source |
|---|---|
| 78 | 1 /******************************************************************************* |
| 2 * Copyright (c) 2000, 2007 IBM Corporation and others. | |
| 3 * All rights reserved. This program and the accompanying materials | |
| 4 * are made available under the terms of the Eclipse Public License v1.0 | |
| 5 * which accompanies this distribution, and is available at | |
| 6 * http://www.eclipse.org/legal/epl-v10.html | |
| 7 * | |
| 8 * Contributors: | |
| 9 * IBM Corporation - initial API and implementation | |
| 10 * Port to the D programming language: | |
| 11 * Frank Benoit <benoit@tionex.de> | |
| 12 *******************************************************************************/ | |
|
161
eb84f9418bbf
Change module names to this not have examples in the FQN.
Frank Benoit <benoit@tionex.de>
parents:
78
diff
changeset
|
13 module controlexample.SliderTab; |
| 78 | 14 |
| 15 | |
| 16 | |
| 17 import dwt.DWT; | |
| 18 import dwt.events.SelectionAdapter; | |
| 19 import dwt.events.SelectionEvent; | |
| 20 import dwt.layout.GridData; | |
| 21 import dwt.layout.GridLayout; | |
| 22 import dwt.widgets.Group; | |
| 23 import dwt.widgets.Slider; | |
| 24 import dwt.widgets.Spinner; | |
| 25 import dwt.widgets.Widget; | |
| 26 | |
|
161
eb84f9418bbf
Change module names to this not have examples in the FQN.
Frank Benoit <benoit@tionex.de>
parents:
78
diff
changeset
|
27 import controlexample.Tab; |
|
eb84f9418bbf
Change module names to this not have examples in the FQN.
Frank Benoit <benoit@tionex.de>
parents:
78
diff
changeset
|
28 import controlexample.ControlExample; |
|
eb84f9418bbf
Change module names to this not have examples in the FQN.
Frank Benoit <benoit@tionex.de>
parents:
78
diff
changeset
|
29 import controlexample.RangeTab; |
| 78 | 30 |
| 31 class SliderTab : RangeTab { | |
| 32 /* Example widgets and groups that contain them */ | |
| 33 Slider slider1; | |
| 34 Group sliderGroup; | |
| 35 | |
| 36 /* Spinner widgets added to the "Control" group */ | |
| 37 Spinner incrementSpinner, pageIncrementSpinner, thumbSpinner; | |
| 38 | |
| 39 /** | |
| 40 * Creates the Tab within a given instance of ControlExample. | |
| 41 */ | |
| 42 this(ControlExample instance) { | |
| 43 super(instance); | |
| 44 } | |
| 45 | |
| 46 /** | |
| 47 * Creates the "Control" widget children. | |
| 48 */ | |
| 49 void createControlWidgets () { | |
| 50 super.createControlWidgets (); | |
| 51 createThumbGroup (); | |
| 52 createIncrementGroup (); | |
| 53 createPageIncrementGroup (); | |
| 54 } | |
| 55 | |
| 56 /** | |
| 57 * Creates the "Example" group. | |
| 58 */ | |
| 59 void createExampleGroup () { | |
| 60 super.createExampleGroup (); | |
| 61 | |
| 62 /* Create a group for the slider */ | |
| 63 sliderGroup = new Group (exampleGroup, DWT.NONE); | |
| 64 sliderGroup.setLayout (new GridLayout ()); | |
| 65 sliderGroup.setLayoutData (new GridData (DWT.FILL, DWT.FILL, true, true)); | |
| 66 sliderGroup.setText ("Slider"); | |
| 67 } | |
| 68 | |
| 69 /** | |
| 70 * Creates the "Example" widgets. | |
| 71 */ | |
| 72 void createExampleWidgets () { | |
| 73 | |
| 74 /* Compute the widget style */ | |
| 75 int style = getDefaultStyle(); | |
| 76 if (horizontalButton.getSelection ()) style |= DWT.HORIZONTAL; | |
| 77 if (verticalButton.getSelection ()) style |= DWT.VERTICAL; | |
| 78 if (borderButton.getSelection ()) style |= DWT.BORDER; | |
| 79 | |
| 80 /* Create the example widgets */ | |
| 81 slider1 = new Slider(sliderGroup, style); | |
| 82 } | |
| 83 | |
| 84 /** | |
| 85 * Create a group of widgets to control the increment | |
| 86 * attribute of the example widget. | |
| 87 */ | |
| 88 void createIncrementGroup() { | |
| 89 | |
| 90 /* Create the group */ | |
| 91 Group incrementGroup = new Group (controlGroup, DWT.NONE); | |
| 92 incrementGroup.setLayout (new GridLayout ()); | |
| 93 incrementGroup.setText (ControlExample.getResourceString("Increment")); | |
| 94 incrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL)); | |
| 95 | |
| 96 /* Create the Spinner widget */ | |
| 97 incrementSpinner = new Spinner (incrementGroup, DWT.BORDER); | |
| 98 incrementSpinner.setMaximum (100000); | |
| 99 incrementSpinner.setSelection (getDefaultIncrement()); | |
| 100 incrementSpinner.setPageIncrement (100); | |
| 101 incrementSpinner.setIncrement (1); | |
| 102 incrementSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false)); | |
| 103 | |
| 104 /* Add the listeners */ | |
| 105 incrementSpinner.addSelectionListener (new class() SelectionAdapter { | |
| 106 public void widgetSelected (SelectionEvent e) { | |
| 107 setWidgetIncrement (); | |
| 108 } | |
| 109 }); | |
| 110 } | |
| 111 | |
| 112 /** | |
| 113 * Create a group of widgets to control the page increment | |
| 114 * attribute of the example widget. | |
| 115 */ | |
| 116 void createPageIncrementGroup() { | |
| 117 | |
| 118 /* Create the group */ | |
| 119 Group pageIncrementGroup = new Group (controlGroup, DWT.NONE); | |
| 120 pageIncrementGroup.setLayout (new GridLayout ()); | |
| 121 pageIncrementGroup.setText (ControlExample.getResourceString("Page_Increment")); | |
| 122 pageIncrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL)); | |
| 123 | |
| 124 /* Create the Spinner widget */ | |
| 125 pageIncrementSpinner = new Spinner (pageIncrementGroup, DWT.BORDER); | |
| 126 pageIncrementSpinner.setMaximum (100000); | |
| 127 pageIncrementSpinner.setSelection (getDefaultPageIncrement()); | |
| 128 pageIncrementSpinner.setPageIncrement (100); | |
| 129 pageIncrementSpinner.setIncrement (1); | |
| 130 pageIncrementSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false)); | |
| 131 | |
| 132 /* Add the listeners */ | |
| 133 pageIncrementSpinner.addSelectionListener (new class() SelectionAdapter { | |
| 134 public void widgetSelected (SelectionEvent event) { | |
| 135 setWidgetPageIncrement (); | |
| 136 } | |
| 137 }); | |
| 138 } | |
| 139 | |
| 140 /** | |
| 141 * Create a group of widgets to control the thumb | |
| 142 * attribute of the example widget. | |
| 143 */ | |
| 144 void createThumbGroup() { | |
| 145 | |
| 146 /* Create the group */ | |
| 147 Group thumbGroup = new Group (controlGroup, DWT.NONE); | |
| 148 thumbGroup.setLayout (new GridLayout ()); | |
| 149 thumbGroup.setText (ControlExample.getResourceString("Thumb")); | |
| 150 thumbGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL)); | |
| 151 | |
| 152 /* Create the Spinner widget */ | |
| 153 thumbSpinner = new Spinner (thumbGroup, DWT.BORDER); | |
| 154 thumbSpinner.setMaximum (100000); | |
| 155 thumbSpinner.setSelection (getDefaultThumb()); | |
| 156 thumbSpinner.setPageIncrement (100); | |
| 157 thumbSpinner.setIncrement (1); | |
| 158 thumbSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false)); | |
| 159 | |
| 160 /* Add the listeners */ | |
| 161 thumbSpinner.addSelectionListener (new class() SelectionAdapter { | |
| 162 public void widgetSelected (SelectionEvent event) { | |
| 163 setWidgetThumb (); | |
| 164 } | |
| 165 }); | |
| 166 } | |
| 167 | |
| 168 /** | |
| 169 * Gets the "Example" widget children. | |
| 170 */ | |
| 171 Widget [] getExampleWidgets () { | |
| 172 return [ cast(Widget) slider1 ]; | |
| 173 } | |
| 174 | |
| 175 /** | |
| 176 * Returns a list of set/get API method names (without the set/get prefix) | |
| 177 * that can be used to set/get values in the example control(s). | |
| 178 */ | |
| 179 char[][] getMethodNames() { | |
| 180 return ["Selection", "ToolTipText"]; | |
| 181 } | |
| 182 | |
| 183 /** | |
| 184 * Gets the text for the tab folder item. | |
| 185 */ | |
| 186 char[] getTabText () { | |
| 187 return "Slider"; | |
| 188 } | |
| 189 | |
| 190 /** | |
| 191 * Sets the state of the "Example" widgets. | |
| 192 */ | |
| 193 void setExampleWidgetState () { | |
| 194 super.setExampleWidgetState (); | |
| 195 if (!instance.startup) { | |
| 196 setWidgetIncrement (); | |
| 197 setWidgetPageIncrement (); | |
| 198 setWidgetThumb (); | |
| 199 } | |
| 200 } | |
| 201 | |
| 202 /** | |
| 203 * Gets the default maximum of the "Example" widgets. | |
| 204 */ | |
| 205 int getDefaultMaximum () { | |
| 206 return slider1.getMaximum(); | |
| 207 } | |
| 208 | |
| 209 /** | |
| 210 * Gets the default minimim of the "Example" widgets. | |
| 211 */ | |
| 212 int getDefaultMinimum () { | |
| 213 return slider1.getMinimum(); | |
| 214 } | |
| 215 | |
| 216 /** | |
| 217 * Gets the default selection of the "Example" widgets. | |
| 218 */ | |
| 219 int getDefaultSelection () { | |
| 220 return slider1.getSelection(); | |
| 221 } | |
| 222 | |
| 223 /** | |
| 224 * Gets the default increment of the "Example" widgets. | |
| 225 */ | |
| 226 int getDefaultIncrement () { | |
| 227 return slider1.getIncrement(); | |
| 228 } | |
| 229 | |
| 230 /** | |
| 231 * Gets the default page increment of the "Example" widgets. | |
| 232 */ | |
| 233 int getDefaultPageIncrement () { | |
| 234 return slider1.getPageIncrement(); | |
| 235 } | |
| 236 | |
| 237 /** | |
| 238 * Gets the default thumb of the "Example" widgets. | |
| 239 */ | |
| 240 int getDefaultThumb () { | |
| 241 return slider1.getThumb(); | |
| 242 } | |
| 243 | |
| 244 /** | |
| 245 * Sets the increment of the "Example" widgets. | |
| 246 */ | |
| 247 void setWidgetIncrement () { | |
| 248 slider1.setIncrement (incrementSpinner.getSelection ()); | |
| 249 } | |
| 250 | |
| 251 /** | |
| 252 * Sets the minimim of the "Example" widgets. | |
| 253 */ | |
| 254 void setWidgetMaximum () { | |
| 255 slider1.setMaximum (maximumSpinner.getSelection ()); | |
| 256 } | |
| 257 | |
| 258 /** | |
| 259 * Sets the minimim of the "Example" widgets. | |
| 260 */ | |
| 261 void setWidgetMinimum () { | |
| 262 slider1.setMinimum (minimumSpinner.getSelection ()); | |
| 263 } | |
| 264 | |
| 265 /** | |
| 266 * Sets the page increment of the "Example" widgets. | |
| 267 */ | |
| 268 void setWidgetPageIncrement () { | |
| 269 slider1.setPageIncrement (pageIncrementSpinner.getSelection ()); | |
| 270 } | |
| 271 | |
| 272 /** | |
| 273 * Sets the selection of the "Example" widgets. | |
| 274 */ | |
| 275 void setWidgetSelection () { | |
| 276 slider1.setSelection (selectionSpinner.getSelection ()); | |
| 277 } | |
| 278 | |
| 279 /** | |
| 280 * Sets the thumb of the "Example" widgets. | |
| 281 */ | |
| 282 void setWidgetThumb () { | |
| 283 slider1.setThumb (thumbSpinner.getSelection ()); | |
| 284 } | |
| 285 } |