1 package net.sf.openrocket.gui;
3 import javax.swing.JSpinner;
4 import javax.swing.text.DefaultFormatter;
5 import javax.swing.text.DefaultFormatterFactory;
8 * Editable editor for a JSpinner. Simply uses JSpinner.DefaultEditor, which has been made
9 * editable. Why the f*** isn't this possible in the normal API?
11 * @author Sampo Niskanen <sampo.niskanen@iki.fi>
14 //public class SpinnerEditor extends JSpinner.NumberEditor {
15 public class SpinnerEditor extends JSpinner.DefaultEditor {
17 public SpinnerEditor(JSpinner spinner) {
19 //super(spinner,"0.0##");
20 getTextField().setEditable(true);
22 DefaultFormatterFactory dff = (DefaultFormatterFactory) getTextField().getFormatterFactory();
23 DefaultFormatter formatter = (DefaultFormatter) dff.getDefaultFormatter();
24 formatter.setOverwriteMode(false);