form {
            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() }
                }
            }

        }