array<wk_widget> tabs_make (array<wk_widget> a, array<wk_widget> b) { array<wk_widget> copy_a= copy (a); array<string> names; for (int i=0; i<N(a); i++) names << as_string (i); copy_a << switch_widget (b, names, 0); return copy_a; }
wk_widget optional_widget (wk_widget w, bool on) { array<wk_widget> a (2); a[0]= w; a[1]= glue_wk_widget (false, false); array<string> name (2); name[0]= "default"; return switch_widget (a, name, on? 0: 1); }