svoid persistSelectedTabAsLiveValue(JTabbedPane tabs, SimpleLiveValue<S> lv) {
  S value = lv!;
  if (value != null) {
    int idx = indexOfTabName(tabs, value);
    printVars ifdef persistSelectedTabAsLiveValue_debug("persistSelectedTabAsLiveValue", +value, +idx);
    if (idx >= 0)
      selectTab(tabs, idx);
  }
  
  onChangeAndNow(tabs, -> {
    S name = getTabTitle(tabs, selectedTabIndex(tabs));
    lv.set(name);
    printVars ifdef persistSelectedTabAsLiveValue_debug("persistSelectedTabAsLiveValue", +name);
  });
}