Merge commit '42b2e5ca519766e37ce6941ba4faecc9691cc403' into upstream

[debian/openrocket] / core / src / net / sf / openrocket / gui / SpinnerEditor.java

diff --git a/core/src/net/sf/openrocket/gui/SpinnerEditor.java b/core/src/net/sf/openrocket/gui/SpinnerEditor.java
index 6d2ca1b892993aa79716872f577c67a9acfa4359..be4b79525a8e57b65ba3d30eb434c3ef7e57bf60 100644 (file)
--- a/core/src/net/sf/openrocket/gui/SpinnerEditor.java
+++ b/core/src/net/sf/openrocket/gui/SpinnerEditor.java
@@ -1,6 +1,8 @@
 package net.sf.openrocket.gui;
 
 import javax.swing.JSpinner;
+import javax.swing.text.DefaultFormatter;
+import javax.swing.text.DefaultFormatterFactory;
 
 /**
  * Editable editor for a JSpinner.  Simply uses JSpinner.DefaultEditor, which has been made
@@ -16,6 +18,20 @@ public class SpinnerEditor extends JSpinner.DefaultEditor {
                super(spinner);
                //super(spinner,"0.0##");
                getTextField().setEditable(true);
+               
+               DefaultFormatterFactory dff = (DefaultFormatterFactory) getTextField().getFormatterFactory();
+               DefaultFormatter formatter = (DefaultFormatter) dff.getDefaultFormatter();
+               formatter.setOverwriteMode(false);
        }
 
+       /**
+        * Constructor which sets the number of columns in the editor.
+        * @param spinner
+        * @param cols
+        */
+       public SpinnerEditor(JSpinner spinner, int cols ) {
+               this(spinner);
+               getTextField().setColumns(cols);
+       }
+       
 }