void TabbedArea::setSelectedTab(gcn::Tab *tab) { gcn::TabbedArea::setSelectedTab(tab); Tab *newTab = dynamic_cast<Tab*>(tab); if (newTab) newTab->setCurrent(); }