JSpinnerRange
fun JSpinnerRange(min: JSpinner, max: JSpinner, maxRange: Double? = null, name: String? = null)
Content copied to clipboard
Parameters
min
the JSpinner that represents the minimum value
max
the JSpinner that represents the maximum value
maxRange
the maximum difference between min and max
name
the name to use in error messages
Sources
jvm source
Link copied to clipboard