# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1142180965 0
# Node ID c5278c8580181c1f256b45031afb01fdc51a569d
# Parent  f0dce11bc9d2742946db7517cad567714e8ecfa5
(Fx_popup_menu): Call w32_free_menu_strings when
finished with the menu.

diff -r f0dce11bc9d2 -r c5278c858018 src/w32menu.c
--- a/src/w32menu.c	Sun Mar 12 15:13:38 2006 +0000
+++ b/src/w32menu.c	Sun Mar 12 16:29:25 2006 +0000
@@ -819,8 +819,10 @@
     }
 
 #ifdef HAVE_MENUS
-  /* If resources from a previous popup menu exist yet, does nothing
-     until the `menu_free_timer' has freed them (see w32fns.c).
+  /* If resources from a previous popup menu still exist, does nothing
+     until the `menu_free_timer' has freed them (see w32fns.c). This
+     can occur if you press ESC or click outside a menu without selecting
+     a menu item.
   */
   if (current_popup_menu)
     {
@@ -837,6 +839,8 @@
   UNBLOCK_INPUT;
 
   discard_menu_items ();
+  w32_free_menu_strings (FRAME_W32_WINDOW (f));
+
 #endif /* HAVE_MENUS */
 
   UNGCPRO;