Mercurial > projects > dwt-samples
diff snippets/spinner/Snippet190.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 | 1f0a7a472680 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/snippets/spinner/Snippet190.d Sat May 10 13:32:45 2008 -0700 @@ -0,0 +1,64 @@ +/******************************************************************************* + * 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 + * Port to the D programming language: + * Bill Baxter <bill@billbaxter.com> + *******************************************************************************/ +module snippets.spinner.Snippet190; + +import dwt.DWT; +import dwt.widgets.Display; +import dwt.widgets.Shell; +import dwt.widgets.Spinner; +import dwt.events.SelectionAdapter; +import dwt.events.SelectionEvent; +import dwt.layout.GridLayout; + +import Math = tango.math.Math; +import tango.io.Stdout; + +/* + * Floating point values in Spinner + * + * For a list of all DWT example snippets see + * http://www.eclipse.org/swt/snippets/ + * + * @since 3.1 + */ + +void main () { + Display display = new Display (); + Shell shell = new Shell (display); + shell.setText("Spinner with float values"); + shell.setLayout(new GridLayout()); + final Spinner spinner = new Spinner(shell, DWT.NONE); + // allow 3 decimal places + spinner.setDigits(3); + // set the minimum value to 0.001 + spinner.setMinimum(1); + // set the maximum value to 20 + spinner.setMaximum(20000); + // set the increment value to 0.010 + spinner.setIncrement(10); + // set the seletion to 3.456 + spinner.setSelection(3456); + spinner.addSelectionListener(new class() SelectionAdapter { + public void widgetSelected(SelectionEvent e) { + int selection = spinner.getSelection(); + float digits = spinner.getDigits(); + Stdout.formatln("Selection is {}", selection / Math.pow(10.f, digits)); + } + }); + shell.setSize(200, 200); + shell.open(); + while (!shell.isDisposed ()) { + if (!display.readAndDispatch ()) display.sleep (); + } + display.dispose (); +}