M src/Basemenu.cc → src/Basemenu.cc

@@ -158,10 +158,8 @@
   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;