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