# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1172184615 0
# Node ID 59abcab48ea27db55e70199b91faea802320c6de
# Parent  25965473846dfa89dc1786c5077df74e78236eec
(menubar_active): Remove menu_command_in_progress.

diff -r 25965473846d -r 59abcab48ea2 src/w32term.h
--- a/src/w32term.h	Thu Feb 22 22:50:04 2007 +0000
+++ b/src/w32term.h	Thu Feb 22 22:50:15 2007 +0000
@@ -378,9 +378,6 @@
   /* 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;