Randomness v2.7.5/com.fwdekker.randomness.ui/JSpinnerRange/JSpinnerRange

JSpinnerRange

fun JSpinnerRange(    min: JSpinner,     max: JSpinner,     maxRange: Double? = null,     name: String? = null)
Content copied to clipboard

Parameters

name

the name to use in error messages

Sources

Link copied to clipboard