ron
03/26/2019, 12:07 PMform {
fieldset {
field("start server") {
checkbox(property = preferences.startServerProperty())
}
field("server port") {
spinner(editable=true, min = 10000, max = Integer.MAX_VALUE, property = preferences.portProperty())
label("default is 14955")
}
field("Idle lockout time") {
spinner(min = 0, max = Int.MAX_VALUE, property = preferences.idleTimeProperty())
label("minutes set to 0 to disable")
}
field("Close button minimizes to tray") {
checkbox(property = preferences.hideToTrayProperty)
}
field("Number of backups to keep") {
spinner(min = 1, max = 5, property = preferences.backupProperty())
}
buttonbar {
button("Save", OK_DONE) {
isDefaultButton = true
setOnAction {
preferences.save()
close()
}
}
button("Cancel", CANCEL_CLOSE).setOnAction { close() }
}
}
}