diff options
Diffstat (limited to 'mixgtk/mixgtk_wm.c')
-rw-r--r-- | mixgtk/mixgtk_wm.c | 7 |
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; } |