when updating the client menu for windows that aren't in the client menu, just ignore...

diff --git a/src/Basemenu.cc b/src/Basemenu.cc
index 748b0a68df57938a3c3db7d76e1facaf9a4352cf..90d5e458ebcdc8e21b56fd0e47ff1e0c9f2eb037 100644 (file)
--- a/src/Basemenu.cc
+++ b/src/Basemenu.cc
@@ -982,6 +982,6 @@ void Basemenu::reconfigure(void) {
 
 void Basemenu::changeItemLabel(unsigned int index, const string& label) {
   BasemenuItem *item = find(index);
-  assert(item);
-  item->newLabel(label);
+  if (item)
+    item->newLabel(label);
 }