X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.ui%2Fsrc%2Forg%2Fsimantics%2Fui%2Fworkbench%2Fpreferences%2FNumberFieldEditor.java;fp=bundles%2Forg.simantics.ui%2Fsrc%2Forg%2Fsimantics%2Fui%2Fworkbench%2Fpreferences%2FNumberFieldEditor.java;h=594a7a695655428832f89eb15e055b3605ac16b2;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=97ad65e182550b251133e24fc69fb6abb30ae237;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.ui/src/org/simantics/ui/workbench/preferences/NumberFieldEditor.java b/bundles/org.simantics.ui/src/org/simantics/ui/workbench/preferences/NumberFieldEditor.java
index 97ad65e18..594a7a695 100644
--- a/bundles/org.simantics.ui/src/org/simantics/ui/workbench/preferences/NumberFieldEditor.java
+++ b/bundles/org.simantics.ui/src/org/simantics/ui/workbench/preferences/NumberFieldEditor.java
@@ -1,150 +1,150 @@
-/*******************************************************************************
- * Copyright (c) 2007, 2010 Association for Decentralized Information Management
- * in Industry THTH ry.
- * 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:
- *     VTT Technical Research Centre of Finland - initial API and implementation
- *******************************************************************************/
-package org.simantics.ui.workbench.preferences;
-
-import org.eclipse.jface.preference.StringFieldEditor;
-import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Text;
-import org.simantics.ui.workbench.WorkbenchResources;
-
-public class NumberFieldEditor extends StringFieldEditor {
-
-    private double minValidValue = 0;
-
-    private double maxValidValue = Double.MAX_VALUE;
-
-    private static final int DEFAULT_TEXT_LIMIT = 10;
-
-    /**
-     * Creates a new number field editor 
-     */
-    protected NumberFieldEditor() {
-    }
-
-    /**
-     * Creates an number 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 NumberFieldEditor(String name, String labelText, Composite parent) {
-        this(name, labelText, parent, DEFAULT_TEXT_LIMIT);
-    }
-
-    /**
-     * Creates an number 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 NumberFieldEditor(String name, String labelText, Composite parent,
-            int textLimit) {
-        init(name, labelText);
-        setTextLimit(textLimit);
-        setEmptyStringAllowed(false);
-        setErrorMessage(WorkbenchResources.getString("NumberFieldEditor.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(double min, double max) {
-        minValidValue = min;
-        maxValidValue = max;
-        setErrorMessage(WorkbenchResources.format(
-                "NumberFieldEditor.errorMessageRange", //$NON-NLS-1$
-                new Object[] { new Double(min), new Double(max) }));
-    }
-
-    /* (non-Javadoc)
-     * Method declared on StringFieldEditor.
-     * Checks whether the entered String is a valid number or not.
-     */
-    protected boolean checkState() {
-
-        Text text = getTextControl();
-
-        if (text == null) {
-            return false;
-        }
-
-        String numberString = text.getText();
-        try {
-            double number = Double.parseDouble(numberString);
-            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 != null) {
-            double value = getPreferenceStore().getDouble(getPreferenceName());
-            text.setText("" + value);//$NON-NLS-1$
-            oldValue = "" + value; //$NON-NLS-1$
-        }
-
-    }
-
-    /* (non-Javadoc)
-     * Method declared on FieldEditor.
-     */
-    protected void doLoadDefault() {
-        Text text = getTextControl();
-        if (text != null) {
-            double value = getPreferenceStore().getDefaultDouble(getPreferenceName());
-            text.setText("" + value);//$NON-NLS-1$
-        }
-        valueChanged();
-    }
-
-    /* (non-Javadoc)
-     * Method declared on FieldEditor.
-     */
-    protected void doStore() {
-        Text text = getTextControl();
-        if (text != null) {
-            getPreferenceStore().setValue(getPreferenceName(), Double.parseDouble(text.getText()));
-        }
-    }
-
-    /**
-     * Returns this field editor's current value as a double.
-     *
-     * @return the value
-     * @exception NumberFormatException if the <code>String</code> does not
-     *   contain a valid number
-     */
-    public double getDoubleValue() throws NumberFormatException {
-        return Double.parseDouble(getStringValue());
-    }
+/*******************************************************************************
+ * Copyright (c) 2007, 2010 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * 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:
+ *     VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics.ui.workbench.preferences;
+
+import org.eclipse.jface.preference.StringFieldEditor;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Text;
+import org.simantics.ui.workbench.WorkbenchResources;
+
+public class NumberFieldEditor extends StringFieldEditor {
+
+    private double minValidValue = 0;
+
+    private double maxValidValue = Double.MAX_VALUE;
+
+    private static final int DEFAULT_TEXT_LIMIT = 10;
+
+    /**
+     * Creates a new number field editor 
+     */
+    protected NumberFieldEditor() {
+    }
+
+    /**
+     * Creates an number 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 NumberFieldEditor(String name, String labelText, Composite parent) {
+        this(name, labelText, parent, DEFAULT_TEXT_LIMIT);
+    }
+
+    /**
+     * Creates an number 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 NumberFieldEditor(String name, String labelText, Composite parent,
+            int textLimit) {
+        init(name, labelText);
+        setTextLimit(textLimit);
+        setEmptyStringAllowed(false);
+        setErrorMessage(WorkbenchResources.getString("NumberFieldEditor.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(double min, double max) {
+        minValidValue = min;
+        maxValidValue = max;
+        setErrorMessage(WorkbenchResources.format(
+                "NumberFieldEditor.errorMessageRange", //$NON-NLS-1$
+                new Object[] { new Double(min), new Double(max) }));
+    }
+
+    /* (non-Javadoc)
+     * Method declared on StringFieldEditor.
+     * Checks whether the entered String is a valid number or not.
+     */
+    protected boolean checkState() {
+
+        Text text = getTextControl();
+
+        if (text == null) {
+            return false;
+        }
+
+        String numberString = text.getText();
+        try {
+            double number = Double.parseDouble(numberString);
+            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 != null) {
+            double value = getPreferenceStore().getDouble(getPreferenceName());
+            text.setText("" + value);//$NON-NLS-1$
+            oldValue = "" + value; //$NON-NLS-1$
+        }
+
+    }
+
+    /* (non-Javadoc)
+     * Method declared on FieldEditor.
+     */
+    protected void doLoadDefault() {
+        Text text = getTextControl();
+        if (text != null) {
+            double value = getPreferenceStore().getDefaultDouble(getPreferenceName());
+            text.setText("" + value);//$NON-NLS-1$
+        }
+        valueChanged();
+    }
+
+    /* (non-Javadoc)
+     * Method declared on FieldEditor.
+     */
+    protected void doStore() {
+        Text text = getTextControl();
+        if (text != null) {
+            getPreferenceStore().setValue(getPreferenceName(), Double.parseDouble(text.getText()));
+        }
+    }
+
+    /**
+     * Returns this field editor's current value as a double.
+     *
+     * @return the value
+     * @exception NumberFormatException if the <code>String</code> does not
+     *   contain a valid number
+     */
+    public double getDoubleValue() throws NumberFormatException {
+        return Double.parseDouble(getStringValue());
+    }
 }
\ No newline at end of file