From 7ad9fec9b9e454035016691b90d051f137aba517 Mon Sep 17 00:00:00 2001
From: Lauri Alanko <nether@src.gnome.org>
Date: Mon, 16 Mar 1998 10:22:53 +0000
Subject: [PATCH] Fixed the tool options disappearing at undo.

Fixed the tool options disappearing at undo.
---
 app/gui/menus.c               | 4 ++--
 app/menus.c                   | 4 ++--
 app/menus/menus.c             | 4 ++--
 app/widgets/gimpitemfactory.c | 4 ++--
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/app/gui/menus.c b/app/gui/menus.c
index 0a7a61f233..a6efe69123 100644
--- a/app/gui/menus.c
+++ b/app/gui/menus.c
@@ -551,12 +551,12 @@ menus_activate_callback (GtkWidget *widget,
       if (entry->callback == ignore[i])
 	return;
     if (active_tool->gdisp_ptr == NULL)
-      active_tool_control (DESTROY, active_tool->gdisp_ptr);
+      active_tool_control (RECREATE, active_tool->gdisp_ptr);
     else {
         GDisplay *gdisp;
         gdisp = gdisplay_active ();
 	if (gdisp == NULL || ((GDisplay*)active_tool->gdisp_ptr)->gimage == gdisp->gimage)
-          active_tool_control (DESTROY, active_tool->gdisp_ptr);
+          active_tool_control (RECREATE, active_tool->gdisp_ptr);
     }
   }
 }
diff --git a/app/menus.c b/app/menus.c
index 0a7a61f233..a6efe69123 100644
--- a/app/menus.c
+++ b/app/menus.c
@@ -551,12 +551,12 @@ menus_activate_callback (GtkWidget *widget,
       if (entry->callback == ignore[i])
 	return;
     if (active_tool->gdisp_ptr == NULL)
-      active_tool_control (DESTROY, active_tool->gdisp_ptr);
+      active_tool_control (RECREATE, active_tool->gdisp_ptr);
     else {
         GDisplay *gdisp;
         gdisp = gdisplay_active ();
 	if (gdisp == NULL || ((GDisplay*)active_tool->gdisp_ptr)->gimage == gdisp->gimage)
-          active_tool_control (DESTROY, active_tool->gdisp_ptr);
+          active_tool_control (RECREATE, active_tool->gdisp_ptr);
     }
   }
 }
diff --git a/app/menus/menus.c b/app/menus/menus.c
index 0a7a61f233..a6efe69123 100644
--- a/app/menus/menus.c
+++ b/app/menus/menus.c
@@ -551,12 +551,12 @@ menus_activate_callback (GtkWidget *widget,
       if (entry->callback == ignore[i])
 	return;
     if (active_tool->gdisp_ptr == NULL)
-      active_tool_control (DESTROY, active_tool->gdisp_ptr);
+      active_tool_control (RECREATE, active_tool->gdisp_ptr);
     else {
         GDisplay *gdisp;
         gdisp = gdisplay_active ();
 	if (gdisp == NULL || ((GDisplay*)active_tool->gdisp_ptr)->gimage == gdisp->gimage)
-          active_tool_control (DESTROY, active_tool->gdisp_ptr);
+          active_tool_control (RECREATE, active_tool->gdisp_ptr);
     }
   }
 }
diff --git a/app/widgets/gimpitemfactory.c b/app/widgets/gimpitemfactory.c
index 0a7a61f233..a6efe69123 100644
--- a/app/widgets/gimpitemfactory.c
+++ b/app/widgets/gimpitemfactory.c
@@ -551,12 +551,12 @@ menus_activate_callback (GtkWidget *widget,
       if (entry->callback == ignore[i])
 	return;
     if (active_tool->gdisp_ptr == NULL)
-      active_tool_control (DESTROY, active_tool->gdisp_ptr);
+      active_tool_control (RECREATE, active_tool->gdisp_ptr);
     else {
         GDisplay *gdisp;
         gdisp = gdisplay_active ();
 	if (gdisp == NULL || ((GDisplay*)active_tool->gdisp_ptr)->gimage == gdisp->gimage)
-          active_tool_control (DESTROY, active_tool->gdisp_ptr);
+          active_tool_control (RECREATE, active_tool->gdisp_ptr);
     }
   }
 }