static JSpinner liveValueSpinner(IVarWithNotify<Int> lv, int min, int max) {
  JSpinner spinner = jSpinner(lv!, min, max);
  ret bindLiveValueToSpinner(lv, spinner);
}