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
super(spinner);
//super(spinner,"0.0##");
getTextField().setEditable(true);
+
+ DefaultFormatterFactory dff = (DefaultFormatterFactory) getTextField().getFormatterFactory();
+ DefaultFormatter formatter = (DefaultFormatter) dff.getDefaultFormatter();
+ formatter.setOverwriteMode(false);
}
}