Module org.autogui
Package org.autogui.swing

Class GuiSwingViewNumberSpinner

java.lang.Object
org.autogui.swing.GuiSwingViewNumberSpinner
All Implemented Interfaces:
GuiSwingElement, GuiSwingView
public class GuiSwingViewNumberSpinner extends Object implements GuiSwingView
a swing view for GuiReprValueNumberSpinner

swing-value

GuiSwingViewNumberSpinner.PropertyNumberSpinner.getSwingViewValue(): spinner-model's value as Number, but the value type is actually Object because it includes GuiReprValueNumberSpinner.Infinity.

updating is caused by (JSpinner.setValue(Object) -> change-listener, focus-lost or action-performed) -> taskRunner -> GuiSwingViewNumberSpinner.PropertyNumberSpinner.updateNumber(List)

history-value

supported.

string-transfer

GuiSwingViewNumberSpinner.NumberTransferHandler. formatted by formatter of GuiSwingViewNumberSpinner.PropertyNumberSpinner.getEditorField() which is actually a GuiSwingViewNumberSpinner.TypedNumberFormatter with format returned by GuiReprValueNumberSpinner.NumberType.getFormat()

preference

       {
           "maximum" : String,
           "minimum" : String,
           "stepSize" : String,
           "format" : String
       }
$settingWindow : GuiSwingPrefsSupports.WindowPreferencesUpdater