|
0
|
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 *******************************************************************************/
|
|
|
13 module dwtexamples.controlexample.SpinnerTab;
|
|
|
14
|
|
|
15
|
|
|
16
|
|
|
17 import dwt.DWT;
|
|
|
18 import dwt.events.ControlAdapter;
|
|
|
19 import dwt.events.ControlEvent;
|
|
|
20 import dwt.events.SelectionAdapter;
|
|
|
21 import dwt.events.SelectionEvent;
|
|
|
22 import dwt.layout.GridData;
|
|
|
23 import dwt.layout.GridLayout;
|
|
|
24 import dwt.widgets.Button;
|
|
|
25 import dwt.widgets.Composite;
|
|
|
26 import dwt.widgets.Group;
|
|
|
27 import dwt.widgets.Spinner;
|
|
|
28 import dwt.widgets.TabFolder;
|
|
|
29 import dwt.widgets.Widget;
|
|
|
30
|
|
|
31 import dwtexamples.controlexample.Tab;
|
|
|
32 import dwtexamples.controlexample.ControlExample;
|
|
|
33 import dwtexamples.controlexample.RangeTab;
|
|
|
34
|
|
|
35 class SpinnerTab : RangeTab {
|
|
|
36
|
|
|
37 /* Example widgets and groups that contain them */
|
|
|
38 Spinner spinner1;
|
|
|
39 Group spinnerGroup;
|
|
|
40
|
|
|
41 /* Style widgets added to the "Style" group */
|
|
|
42 Button readOnlyButton, wrapButton;
|
|
|
43
|
|
|
44 /* Spinner widgets added to the "Control" group */
|
|
|
45 Spinner incrementSpinner, pageIncrementSpinner, digitsSpinner;
|
|
|
46
|
|
|
47 /**
|
|
|
48 * Creates the Tab within a given instance of ControlExample.
|
|
|
49 */
|
|
|
50 this(ControlExample instance) {
|
|
|
51 super(instance);
|
|
|
52 }
|
|
|
53
|
|
|
54 /**
|
|
|
55 * Creates the "Control" widget children.
|
|
|
56 */
|
|
|
57 void createControlWidgets () {
|
|
|
58 super.createControlWidgets ();
|
|
|
59 createIncrementGroup ();
|
|
|
60 createPageIncrementGroup ();
|
|
|
61 createDigitsGroup ();
|
|
|
62 }
|
|
|
63
|
|
|
64 /**
|
|
|
65 * Creates the "Example" group.
|
|
|
66 */
|
|
|
67 void createExampleGroup () {
|
|
|
68 super.createExampleGroup ();
|
|
|
69
|
|
|
70 /* Create a group for the spinner */
|
|
|
71 spinnerGroup = new Group (exampleGroup, DWT.NONE);
|
|
|
72 spinnerGroup.setLayout (new GridLayout ());
|
|
|
73 spinnerGroup.setLayoutData (new GridData (DWT.FILL, DWT.FILL, true, true));
|
|
|
74 spinnerGroup.setText ("Spinner");
|
|
|
75 }
|
|
|
76
|
|
|
77 /**
|
|
|
78 * Creates the "Example" widgets.
|
|
|
79 */
|
|
|
80 void createExampleWidgets () {
|
|
|
81
|
|
|
82 /* Compute the widget style */
|
|
|
83 int style = getDefaultStyle();
|
|
|
84 if (readOnlyButton.getSelection ()) style |= DWT.READ_ONLY;
|
|
|
85 if (borderButton.getSelection ()) style |= DWT.BORDER;
|
|
|
86 if (wrapButton.getSelection ()) style |= DWT.WRAP;
|
|
|
87
|
|
|
88 /* Create the example widgets */
|
|
|
89 spinner1 = new Spinner (spinnerGroup, style);
|
|
|
90 }
|
|
|
91
|
|
|
92 /**
|
|
|
93 * Create a group of widgets to control the increment
|
|
|
94 * attribute of the example widget.
|
|
|
95 */
|
|
|
96 void createIncrementGroup() {
|
|
|
97
|
|
|
98 /* Create the group */
|
|
|
99 Group incrementGroup = new Group (controlGroup, DWT.NONE);
|
|
|
100 incrementGroup.setLayout (new GridLayout ());
|
|
|
101 incrementGroup.setText (ControlExample.getResourceString("Increment"));
|
|
|
102 incrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
|
|
|
103
|
|
|
104 /* Create the Spinner widget */
|
|
|
105 incrementSpinner = new Spinner (incrementGroup, DWT.BORDER);
|
|
|
106 incrementSpinner.setMaximum (100000);
|
|
|
107 incrementSpinner.setSelection (getDefaultIncrement());
|
|
|
108 incrementSpinner.setPageIncrement (100);
|
|
|
109 incrementSpinner.setIncrement (1);
|
|
|
110 incrementSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false));
|
|
|
111
|
|
|
112 /* Add the listeners */
|
|
|
113 incrementSpinner.addSelectionListener (new class() SelectionAdapter {
|
|
|
114 public void widgetSelected (SelectionEvent e) {
|
|
|
115 setWidgetIncrement ();
|
|
|
116 }
|
|
|
117 });
|
|
|
118 }
|
|
|
119
|
|
|
120 /**
|
|
|
121 * Create a group of widgets to control the page increment
|
|
|
122 * attribute of the example widget.
|
|
|
123 */
|
|
|
124 void createPageIncrementGroup() {
|
|
|
125
|
|
|
126 /* Create the group */
|
|
|
127 Group pageIncrementGroup = new Group (controlGroup, DWT.NONE);
|
|
|
128 pageIncrementGroup.setLayout (new GridLayout ());
|
|
|
129 pageIncrementGroup.setText (ControlExample.getResourceString("Page_Increment"));
|
|
|
130 pageIncrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
|
|
|
131
|
|
|
132 /* Create the Spinner widget */
|
|
|
133 pageIncrementSpinner = new Spinner (pageIncrementGroup, DWT.BORDER);
|
|
|
134 pageIncrementSpinner.setMaximum (100000);
|
|
|
135 pageIncrementSpinner.setSelection (getDefaultPageIncrement());
|
|
|
136 pageIncrementSpinner.setPageIncrement (100);
|
|
|
137 pageIncrementSpinner.setIncrement (1);
|
|
|
138 pageIncrementSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false));
|
|
|
139
|
|
|
140 /* Add the listeners */
|
|
|
141 pageIncrementSpinner.addSelectionListener (new class() SelectionAdapter {
|
|
|
142 public void widgetSelected (SelectionEvent event) {
|
|
|
143 setWidgetPageIncrement ();
|
|
|
144 }
|
|
|
145 });
|
|
|
146 }
|
|
|
147
|
|
|
148 /**
|
|
|
149 * Create a group of widgets to control the digits
|
|
|
150 * attribute of the example widget.
|
|
|
151 */
|
|
|
152 void createDigitsGroup() {
|
|
|
153
|
|
|
154 /* Create the group */
|
|
|
155 Group digitsGroup = new Group (controlGroup, DWT.NONE);
|
|
|
156 digitsGroup.setLayout (new GridLayout ());
|
|
|
157 digitsGroup.setText (ControlExample.getResourceString("Digits"));
|
|
|
158 digitsGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
|
|
|
159
|
|
|
160 /* Create the Spinner widget */
|
|
|
161 digitsSpinner = new Spinner (digitsGroup, DWT.BORDER);
|
|
|
162 digitsSpinner.setMaximum (100000);
|
|
|
163 digitsSpinner.setSelection (getDefaultDigits());
|
|
|
164 digitsSpinner.setPageIncrement (100);
|
|
|
165 digitsSpinner.setIncrement (1);
|
|
|
166 digitsSpinner.setLayoutData (new GridData (DWT.FILL, DWT.CENTER, true, false));
|
|
|
167
|
|
|
168 /* Add the listeners */
|
|
|
169 digitsSpinner.addSelectionListener (new class() SelectionAdapter {
|
|
|
170 public void widgetSelected (SelectionEvent e) {
|
|
|
171 setWidgetDigits ();
|
|
|
172 }
|
|
|
173 });
|
|
|
174 }
|
|
|
175
|
|
|
176 /**
|
|
|
177 * Creates the tab folder page.
|
|
|
178 *
|
|
|
179 * @param tabFolder org.eclipse.swt.widgets.TabFolder
|
|
|
180 * @return the new page for the tab folder
|
|
|
181 */
|
|
|
182 Composite createTabFolderPage (TabFolder tabFolder) {
|
|
|
183 super.createTabFolderPage (tabFolder);
|
|
|
184
|
|
|
185 /*
|
|
|
186 * Add a resize listener to the tabFolderPage so that
|
|
|
187 * if the user types into the example widget to change
|
|
|
188 * its preferred size, and then resizes the shell, we
|
|
|
189 * recalculate the preferred size correctly.
|
|
|
190 */
|
|
|
191 tabFolderPage.addControlListener(new class() ControlAdapter {
|
|
|
192 public void controlResized(ControlEvent e) {
|
|
|
193 setExampleWidgetSize ();
|
|
|
194 }
|
|
|
195 });
|
|
|
196
|
|
|
197 return tabFolderPage;
|
|
|
198 }
|
|
|
199
|
|
|
200 /**
|
|
|
201 * Creates the "Style" group.
|
|
|
202 */
|
|
|
203 void createStyleGroup () {
|
|
|
204 orientationButtons = false;
|
|
|
205 super.createStyleGroup ();
|
|
|
206
|
|
|
207 /* Create the extra widgets */
|
|
|
208 readOnlyButton = new Button (styleGroup, DWT.CHECK);
|
|
|
209 readOnlyButton.setText ("DWT.READ_ONLY");
|
|
|
210 wrapButton = new Button (styleGroup, DWT.CHECK);
|
|
|
211 wrapButton.setText ("DWT.WRAP");
|
|
|
212 }
|
|
|
213
|
|
|
214 /**
|
|
|
215 * Gets the "Example" widget children.
|
|
|
216 */
|
|
|
217 Widget [] getExampleWidgets () {
|
|
|
218 return [ cast(Widget) spinner1 ];
|
|
|
219 }
|
|
|
220
|
|
|
221 /**
|
|
|
222 * Returns a list of set/get API method names (without the set/get prefix)
|
|
|
223 * that can be used to set/get values in the example control(s).
|
|
|
224 */
|
|
|
225 char[][] getMethodNames() {
|
|
|
226 return ["Selection", "ToolTipText"];
|
|
|
227 }
|
|
|
228
|
|
|
229 /**
|
|
|
230 * Gets the text for the tab folder item.
|
|
|
231 */
|
|
|
232 char[] getTabText () {
|
|
|
233 return "Spinner";
|
|
|
234 }
|
|
|
235
|
|
|
236 /**
|
|
|
237 * Sets the state of the "Example" widgets.
|
|
|
238 */
|
|
|
239 void setExampleWidgetState () {
|
|
|
240 super.setExampleWidgetState ();
|
|
|
241 readOnlyButton.setSelection ((spinner1.getStyle () & DWT.READ_ONLY) !is 0);
|
|
|
242 wrapButton.setSelection ((spinner1.getStyle () & DWT.WRAP) !is 0);
|
|
|
243 if (!instance.startup) {
|
|
|
244 setWidgetIncrement ();
|
|
|
245 setWidgetPageIncrement ();
|
|
|
246 setWidgetDigits ();
|
|
|
247 }
|
|
|
248 }
|
|
|
249
|
|
|
250 /**
|
|
|
251 * Gets the default maximum of the "Example" widgets.
|
|
|
252 */
|
|
|
253 int getDefaultMaximum () {
|
|
|
254 return spinner1.getMaximum();
|
|
|
255 }
|
|
|
256
|
|
|
257 /**
|
|
|
258 * Gets the default minimim of the "Example" widgets.
|
|
|
259 */
|
|
|
260 int getDefaultMinimum () {
|
|
|
261 return spinner1.getMinimum();
|
|
|
262 }
|
|
|
263
|
|
|
264 /**
|
|
|
265 * Gets the default selection of the "Example" widgets.
|
|
|
266 */
|
|
|
267 int getDefaultSelection () {
|
|
|
268 return spinner1.getSelection();
|
|
|
269 }
|
|
|
270
|
|
|
271 /**
|
|
|
272 * Gets the default increment of the "Example" widgets.
|
|
|
273 */
|
|
|
274 int getDefaultIncrement () {
|
|
|
275 return spinner1.getIncrement();
|
|
|
276 }
|
|
|
277
|
|
|
278 /**
|
|
|
279 * Gets the default page increment of the "Example" widgets.
|
|
|
280 */
|
|
|
281 int getDefaultPageIncrement () {
|
|
|
282 return spinner1.getPageIncrement();
|
|
|
283 }
|
|
|
284
|
|
|
285 /**
|
|
|
286 * Gets the default digits of the "Example" widgets.
|
|
|
287 */
|
|
|
288 int getDefaultDigits () {
|
|
|
289 return spinner1.getDigits();
|
|
|
290 }
|
|
|
291
|
|
|
292 /**
|
|
|
293 * Sets the increment of the "Example" widgets.
|
|
|
294 */
|
|
|
295 void setWidgetIncrement () {
|
|
|
296 spinner1.setIncrement (incrementSpinner.getSelection ());
|
|
|
297 }
|
|
|
298
|
|
|
299 /**
|
|
|
300 * Sets the minimim of the "Example" widgets.
|
|
|
301 */
|
|
|
302 void setWidgetMaximum () {
|
|
|
303 spinner1.setMaximum (maximumSpinner.getSelection ());
|
|
|
304 }
|
|
|
305
|
|
|
306 /**
|
|
|
307 * Sets the minimim of the "Example" widgets.
|
|
|
308 */
|
|
|
309 void setWidgetMinimum () {
|
|
|
310 spinner1.setMinimum (minimumSpinner.getSelection ());
|
|
|
311 }
|
|
|
312
|
|
|
313 /**
|
|
|
314 * Sets the page increment of the "Example" widgets.
|
|
|
315 */
|
|
|
316 void setWidgetPageIncrement () {
|
|
|
317 spinner1.setPageIncrement (pageIncrementSpinner.getSelection ());
|
|
|
318 }
|
|
|
319
|
|
|
320 /**
|
|
|
321 * Sets the digits of the "Example" widgets.
|
|
|
322 */
|
|
|
323 void setWidgetDigits () {
|
|
|
324 spinner1.setDigits (digitsSpinner.getSelection ());
|
|
|
325 }
|
|
|
326
|
|
|
327 /**
|
|
|
328 * Sets the selection of the "Example" widgets.
|
|
|
329 */
|
|
|
330 void setWidgetSelection () {
|
|
|
331 spinner1.setSelection (selectionSpinner.getSelection ());
|
|
|
332 }
|
|
|
333 }
|
