void GuiTabPageCtrl::setText(const char *txt) { Parent::setText( txt ); GuiControl *parent = getParent(); if( parent ) parent->setUpdate(); };