diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-08-17 01:54:36 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-08-17 01:54:36 +0000 |
| commit | ccda6f2acc7cf35d37eae829d011aef5154557c2 (patch) | |
| tree | 9adf25f49cfa6fff5beb23c4044e38e7d5da30a3 | |
| parent | a8c9d513258f717b00f76e9835bfce8a144981f0 (diff) | |
| download | mdk-ccda6f2acc7cf35d37eae829d011aef5154557c2.tar.gz mdk-ccda6f2acc7cf35d37eae829d011aef5154557c2.tar.bz2 | |
devices destruction fixed
| -rw-r--r-- | mixgtk/mixgtk_device.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c index 274d5eb..07615fb 100644 --- a/mixgtk/mixgtk_device.c +++ b/mixgtk/mixgtk_device.c @@ -224,11 +224,11 @@ static void destroy_ (mix_device_t *dev) { struct mixgtk_device_t *gtkdev = (struct mixgtk_device_t *)dev; - gtk_notebook_remove_page (GTK_NOTEBOOK (container_), gtkdev->pos); - gtk_widget_destroy (gtkdev->widget); if (MODES_[dev->type] == mix_dev_BIN) gtk_widget_destroy (((struct mixgtk_bin_device_t *)dev)->scroll); + gtk_widget_destroy (gtkdev->widget); (DEF_DEV_VTABLE_->destroy) (dev); + gtk_notebook_remove_page (GTK_NOTEBOOK (container_), gtkdev->pos); --last_pos_; } |