diff --git a/src/Basemenu.cc b/src/Basemenu.cc index e6cb4d12..8a3429a0 100644 --- a/src/Basemenu.cc +++ b/src/Basemenu.cc @@ -158,10 +158,8 @@ Basemenu::~Basemenu(void) { if (shown && shown->getWindowID() == getWindowID()) shown = (Basemenu *) 0; - while (!menuitems.empty()) { - delete menuitems[0]; - menuitems.erase(menuitems.begin()); - } + while (!menuitems.empty()) + remove(0); if (menu.label) delete [] menu.label;