[gdl] Hide GDL dock item if child is removed

[Sebastien Granjoux <sgranjoux src gnome org>]

commit 2862943f369692ceca72af31b8654959ba6ed194
Author: Sébastien Granjoux <seb sfo free fr>
Date:   Sun May 26 14:48:51 2013 +0200

    Hide GDL dock item if child is removed

 gdl/gdl-dock-item.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gdl/gdl-dock-item.c b/gdl/gdl-dock-item.c
index 982a480..82ec8d2 100644
--- a/gdl/gdl-dock-item.c
+++ b/gdl/gdl-dock-item.c
@@ -918,7 +918,7 @@ gdl_dock_item_remove (GtkContainer *container,
     item->priv->child = NULL;
 
     if (was_visible)
-        gtk_widget_queue_resize (GTK_WIDGET (container));
+        gtk_widget_hide (GTK_WIDGET (container));
 }
 
 static void