diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-30 19:35:44 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-30 19:35:44 +0000 |
commit | 94b11021d85904bb9737e0ff69cc0e91a547e6d1 (patch) | |
tree | 9920b35aa5243edd0dca8e9cfedb7380f3c68fae /mixgtk/mixgtk_wm.c | |
parent | 97f14dfaa15c1d36128848d1deb67fec0e688233 (diff) | |
download | mdk-94b11021d85904bb9737e0ff69cc0e91a547e6d1.tar.gz mdk-94b11021d85904bb9737e0ff69cc0e91a547e6d1.tar.bz2 |
split improved
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; } |