static JSpinner bindLiveValueToSpinner(SimpleLiveValue<Int> lv, JSpinner spinner) {
  onChange(spinner, r { lv.set(intFromSpinner(spinner)) });
  lv.onChange(r { setSpinnerValue(spinner, lv!) });
  ret spinner;
}