summaryrefslogtreecommitdiffhomepage
path: root/mixgtk
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-08-17 01:54:36 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-08-17 01:54:36 +0000
commitbb8b48ebc26346c9d32e764d2d070b2f8859a3b6 (patch)
tree2931e201a5c7d90bf9abe535319f63e6c514cd25 /mixgtk
parent0769d4dba6ff9d5ee8976825b21c6b642a009b4b (diff)
downloadmdk-bb8b48ebc26346c9d32e764d2d070b2f8859a3b6.tar.gz
mdk-bb8b48ebc26346c9d32e764d2d070b2f8859a3b6.tar.bz2
devices destruction fixed
Diffstat (limited to 'mixgtk')
-rw-r--r--mixgtk/mixgtk_device.c4
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_;
}