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);
+ }
+
}
dm = new DoubleModel(mount, "IgnitionDelay", 0);
spin = new JSpinner(dm.getSpinnerModel());
- spin.setEditor(new SpinnerEditor(spin));
+ spin.setEditor(new SpinnerEditor(spin,3));
panel.add(spin, "gap rel rel");
//// seconds
m = new DoubleModel(component, "DeployDelay", 0);
spin = new JSpinner(m.getSpinnerModel());
- spin.setEditor(new SpinnerEditor(spin));
+ spin.setEditor(new SpinnerEditor(spin,3));
panel.add(spin, "spanx, split");
//// seconds
m = new DoubleModel(component, "DeployDelay", 0);
spin = new JSpinner(m.getSpinnerModel());
- spin.setEditor(new SpinnerEditor(spin));
+ spin.setEditor(new SpinnerEditor(spin,3));
panel.add(spin, "spanx, split");
//// seconds