From b7491931323d62fb6810159d0c94013470cc92d3 Mon Sep 17 00:00:00 2001
From: Paolo Bacchilega <paobac@src.gnome.org>
Date: Tue, 21 Aug 2012 22:34:21 +0000
Subject: destroy the tool options widget when closing the options pane

---
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;
--
cgit v0.9.0.2