# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1014422291 0
# Node ID 1e76e5ebe710b9a4efed95f85026d29a7ad3ce6f
# Parent  b4bc3c09532621a78613bdc74ab93689b7d3c62d
(struct w32_output): New member menu_command_in_progress.

diff -r b4bc3c095326 -r 1e76e5ebe710 src/w32term.h
--- a/src/w32term.h	Fri Feb 22 23:44:02 2002 +0000
+++ b/src/w32term.h	Fri Feb 22 23:58:11 2002 +0000
@@ -410,6 +410,9 @@
   /* Nonzero means menubar is currently active.  */
   char menubar_active;
 
+  /* Nonzero means a menu command is being processed.  */
+  char menu_command_in_progress;
+
   /* Nonzero means menubar is about to become active, but should be
      brought up to date first.  */
   volatile char pending_menu_activation;