<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_1eprnenuf0ar66n4cn765vesqn, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
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);
  });
}