gtkmenu.c HEAD patch

[George <jirka 5z com>]

I found a slight error in gtkmenu.c HEAD.  It's related to the recent submenu
navigation patch.  The thing is that at a certain point the old navigation
stuff is destroyed and new navigation values are set (both timeout handler and
region).  However apparently the timeout handler was not removed which could
then theoretically leave a timeout handler running even though a new one was
added.  Just calling gtk_menu_stop_navigating_submenu before setting new
values fixes this.

George

-- 
George <jirka 5z com>
   How shall we fuck off, o Lord?
                       -- Monty Python

Index: gtkmenu.c
===================================================================
RCS file: /cvs/gnome/gtk+/gtk/gtkmenu.c,v
retrieving revision 1.48
diff -u -p -r1.48 gtkmenu.c
--- gtkmenu.c	2000/09/02 02:43:50	1.48
+++ gtkmenu.c	2000/09/06 02:36:54
@@ -1384,8 +1384,7 @@ gtk_menu_set_submenu_navigation_region (
       point[2].x = point[1].x;
       point[2].y = point[0].y;
 
-      if (menu->navigation_region)
-	gdk_region_destroy (menu->navigation_region);
+      gtk_menu_stop_navigating_submenu (menu);
       
       menu->navigation_region = gdk_region_polygon (point, 3, GDK_WINDING_RULE);