7879808182838485868788
int tabIndex = getTabIndexForWidget(widget); assert (tabIndex != -1); Tab tab = tabs.get(tabIndex); tab.destroy(); // TODO(jgw): Deal with the selected widget being removed. widgets.remove(tabIndex); tabs.remove(tabIndex);