Uses of Class org.autogui.swing.LambdaProperty.LambdaNumberSpinner (org.autogui:autogui 1.7 API)

Packages that use LambdaProperty.LambdaNumberSpinner

Package

Description

org.autogui.swing.prefs

Uses of LambdaProperty.LambdaNumberSpinner in org.autogui.swing.prefs

Fields in org.autogui.swing.prefs declared as LambdaProperty.LambdaNumberSpinner

Modifier and Type

Field

Description

protected LambdaProperty.LambdaNumberSpinner

GuiSwingPrefsEditor.ValueListSplitEntryItemPane.dividerLocationPane

protected LambdaProperty.LambdaNumberSpinner

GuiSwingPrefsEditor.ValueListMapItemPaneForTableColumnOrder.keyPane

protected LambdaProperty.LambdaNumberSpinner

GuiSwingPrefsEditor.ValueListMapItemPaneForTableColumnWidthStatic.keyPane

protected LambdaProperty.LambdaNumberSpinner

GuiSwingPrefsEditor.ValueListMapItemPaneForTableColumnWidthStatic.valuePane