Randomness v2.7.6
2.7.6
Randomness v2.7.6
/
com.fwdekker.randomness.ui
/
JSpinnerRange
/
JSpinnerRange
JSpinner
Range
fun
JSpinnerRange
(
min
:
JSpinner
,
max
:
JSpinner
,
maxRange
:
Double
?
=
null
,
name
:
String
?
=
null
)
(
source
)
Parameters
name
the name to use in error messages