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 | a27ae12b98f6ce945517164940a6eaf7a8301e66 (patch) | |
| tree | f1da411876fc1330662af98fd3a6eec1cb9a38e9 /mixgtk/mixgtk_wm.c | |
| parent | 83cc41c0600232d2d9385f84533d80d2adb20106 (diff) | |
| download | mdk-a27ae12b98f6ce945517164940a6eaf7a8301e66.tar.gz mdk-a27ae12b98f6ce945517164940a6eaf7a8301e66.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; } |