changeset 36238:ab4e575401d9

(read_char): When an event from unread-command-events is from the tool or menu bar, set *USE_MOUSE_MENU to 1.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 20 Feb 2001 18:12:00 +0000
parents f4389fc8c0e0
children d575589dbcf8
files src/keyboard.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/keyboard.c	Tue Feb 20 16:49:09 2001 +0000
+++ b/src/keyboard.c	Tue Feb 20 18:12:00 2001 +0000
@@ -2141,6 +2141,12 @@
 	  && NILP (XCDR (c)))
 	c = XCAR (c);
 
+      /* If the queued event is something that used the mouse,
+         set used_mouse_menu accordingly.  */
+      if (used_mouse_menu
+	  && (EQ (c, Qtool_bar) || EQ (c, Qmenu_bar)))
+	*used_mouse_menu = 1;
+      
       reread = 1;
       goto reread_for_input_method;
     }