1 package net.sf.openrocket.gui;
3 import javax.swing.JSpinner;
6 * Editable editor for a JSpinner. Simply uses JSpinner.DefaultEditor, which has been made
7 * editable. Why the f*** isn't this possible in the normal API?
9 * @author Sampo Niskanen <sampo.niskanen@iki.fi>
12 //public class SpinnerEditor extends JSpinner.NumberEditor {
13 public class SpinnerEditor extends JSpinner.DefaultEditor {
15 public SpinnerEditor(JSpinner spinner) {
17 //super(spinner,"0.0##");
18 getTextField().setEditable(true);