--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dwtx/jface/preference/IntegerFieldEditor.d	Sat Apr 05 01:45:47 2008 +0200
@@ -0,0 +1,157 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2006 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 dwtx.jface.preference.IntegerFieldEditor;
+
+import dwtx.jface.preference.StringFieldEditor;
+
+import dwt.widgets.Composite;
+import dwt.widgets.Text;
+import dwtx.jface.resource.JFaceResources;
+
+import dwt.dwthelper.utils;
+
+/**
+ * A field editor for an integer type preference.
+ */
+public class IntegerFieldEditor : StringFieldEditor {
+    private int minValidValue = 0;
+
+    private int maxValidValue = int.max;
+
+    private static const int DEFAULT_TEXT_LIMIT = 10;
+
+    /**
+     * Creates a new integer field editor
+     */
+    protected this() {
+    }
+
+    /**
+     * Creates an integer field editor.
+     *
+     * @param name the name of the preference this field editor works on
+     * @param labelText the label text of the field editor
+     * @param parent the parent of the field editor's control
+     */
+    public this(String name, String labelText, Composite parent) {
+        this(name, labelText, parent, DEFAULT_TEXT_LIMIT);
+    }
+
+    /**
+     * Creates an integer field editor.
+     *
+     * @param name the name of the preference this field editor works on
+     * @param labelText the label text of the field editor
+     * @param parent the parent of the field editor's control
+     * @param textLimit the maximum number of characters in the text.
+     */
+    public this(String name, String labelText, Composite parent,
+            int textLimit) {
+        init(name, labelText);
+        setTextLimit(textLimit);
+        setEmptyStringAllowed(false);
+        setErrorMessage(JFaceResources
+                .getString("IntegerFieldEditor.errorMessage"));//$NON-NLS-1$
+        createControl(parent);
+    }
+
+    /**
+     * Sets the range of valid values for this field.
+     *
+     * @param min the minimum allowed value (inclusive)
+     * @param max the maximum allowed value (inclusive)
+     */
+    public void setValidRange(int min, int max) {
+        minValidValue = min;
+        maxValidValue = max;
+        setErrorMessage(JFaceResources.format(
+                "IntegerFieldEditor.errorMessageRange", //$NON-NLS-1$
+                [ new Integer(min), new Integer(max) ]));
+    }
+
+    /* (non-Javadoc)
+     * Method declared on StringFieldEditor.
+     * Checks whether the entered String is a valid integer or not.
+     */
+    protected bool checkState() {
+
+        Text text = getTextControl();
+
+        if (text is null) {
+            return false;
+        }
+
+        String numberString = text.getText();
+        try {
+            int number = Integer.valueOf(numberString).intValue();
+            if (number >= minValidValue && number <= maxValidValue) {
+                clearErrorMessage();
+                return true;
+            }
+
+            showErrorMessage();
+            return false;
+
+        } catch (NumberFormatException e1) {
+            showErrorMessage();
+        }
+
+        return false;
+    }
+
+    /* (non-Javadoc)
+     * Method declared on FieldEditor.
+     */
+    protected void doLoad() {
+        Text text = getTextControl();
+        if (text !is null) {
+            int value = getPreferenceStore().getInt(getPreferenceName());
+            text.setText( tango.text.convert.Integer.toString(value));//$NON-NLS-1$
+        }
+
+    }
+
+    /* (non-Javadoc)
+     * Method declared on FieldEditor.
+     */
+    protected void doLoadDefault() {
+        Text text = getTextControl();
+        if (text !is null) {
+            int value = getPreferenceStore().getDefaultInt(getPreferenceName());
+            text.setText(tango.text.convert.Integer.toString( value));//$NON-NLS-1$
+        }
+        valueChanged();
+    }
+
+    /* (non-Javadoc)
+     * Method declared on FieldEditor.
+     */
+    protected void doStore() {
+        Text text = getTextControl();
+        if (text !is null) {
+            Integer i = new Integer(text.getText());
+            getPreferenceStore().setValue(getPreferenceName(), i.intValue());
+        }
+    }
+
+    /**
+     * Returns this field editor's current value as an integer.
+     *
+     * @return the value
+     * @exception NumberFormatException if the <code>String</code> does not
+     *   contain a parsable integer
+     */
+    public int getIntValue() {
+        return (new Integer(getStringValue())).intValue();
+    }
+}