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 | bb8b48ebc26346c9d32e764d2d070b2f8859a3b6 (patch) | |
| tree | 2931e201a5c7d90bf9abe535319f63e6c514cd25 /mixgtk | |
| parent | 0769d4dba6ff9d5ee8976825b21c6b642a009b4b (diff) | |
| download | mdk-bb8b48ebc26346c9d32e764d2d070b2f8859a3b6.tar.gz mdk-bb8b48ebc26346c9d32e764d2d070b2f8859a3b6.tar.bz2 | |
devices destruction fixed
Diffstat (limited to 'mixgtk')
| -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_; } |