`onUserSelect(num: Int) { ... }` generally does th...
# tornadofx
a
onUserSelect(num: Int) { ... }
generally does the trick