1 files changed, 7 insertions, 0 deletions
diff --git a/mixgtk/mixgtk_wm.c b/mixgtk/mixgtk_wm.c
index ce6a6c5..7e28baf 100644
--- a/mixgtk/mixgtk_wm.c
+++ b/mixgtk/mixgtk_wm.c
@@ -84,6 +84,13 @@ mixgtk_wm_init (void)
 	  gtk_check_menu_item_set_active (infos_[i].menu, infos_[i].visible);
 	}
     }
+  else
+    {
+      gint k;
+      for (k = 0; k < INF_NO_; ++k)
+	if (infos_[k].widget) gtk_widget_destroy (infos_[k].widget);
+    }
+    
   restart = TRUE;
   return TRUE;
 }