[gthumb] destroy the tool options widget when closing the options pane

[Paolo Bacchilega <paobac src gnome org>]

commit 4f28c9874b13d49d5ef5b910ceb1f4eb246e9349
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 8777850..843140f 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);
 	gth_toolbox_update_sensitivity (GTH_TOOLBOX (toolbox));