[gthumb/gthumb-3-0] destroy the tool options widget when closing the options pane

[Paolo Bacchilega <paobac src gnome org>]

commit b7491931323d62fb6810159d0c94013470cc92d3
Author: Paolo Bacchilega <paobac src gnome org>
Date:   Wed Aug 22 00:34:21 2012 +0200

    destroy the tool options widget when closing the options pane

 gthumb/gth-toolbox.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gthumb/gth-toolbox.c b/gthumb/gth-toolbox.c
index 23cf767..2efb186 100644
--- a/gthumb/gth-toolbox.c
+++ b/gthumb/gth-toolbox.c
@@ -218,8 +218,12 @@ child_hide_options_cb (GtkWidget *tool,
 		       gpointer   data)
 {
 	GthToolbox *toolbox = data;
+	GtkWidget  *tool_options;
 
 	gth_file_tool_destroy_options (GTH_FILE_TOOL (tool));
+	tool_options = gtk_bin_get_child (GTK_BIN (toolbox->priv->options));
+	if (tool_options != NULL)
+		gtk_container_remove (GTK_CONTAINER (toolbox->priv->options), tool_options);
 	gtk_notebook_set_current_page (GTK_NOTEBOOK (toolbox), GTH_TOOLBOX_LIST_PAGE);
 
 	toolbox->priv->active_tool = NULL;