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