# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1172188063 0
# Node ID da9b24e47b34250bf76cbd03870dc4b95d3d5b4e
# Parent  635817aa91803f6b264d4c32250b8f6434f97218
(w32_menu_show): Mark the frame's menu as inactive when popup menu
finishes.

diff -r 635817aa9180 -r da9b24e47b34 src/w32menu.c
--- a/src/w32menu.c	Thu Feb 22 23:47:12 2007 +0000
+++ b/src/w32menu.c	Thu Feb 22 23:47:43 2007 +0000
@@ -1937,6 +1937,7 @@
 
   /* Free the owner-drawn and help-echo menu strings.  */
   w32_free_menu_strings (FRAME_W32_WINDOW (f));
+  f->output_data.w32->menubar_active = 0;
 
   /* Find the selected item, and its pane, to return
      the proper value.  */