spinner(min = 10000, max = Integer.MAX_VALUE, prop...
# tornadofx
r
spinner(min = 10000, max = Integer.MAX_VALUE, property = preferences.portProperty())