# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 982692764 0
# Node ID d575589dbcf8de94d144bf6db8066cdc0b483c1e
# Parent  ab4e575401d94487184df1771613d3a29ad2da05
*** empty log message ***

diff -r ab4e575401d9 -r d575589dbcf8 src/ChangeLog
--- a/src/ChangeLog	Tue Feb 20 18:12:00 2001 +0000
+++ b/src/ChangeLog	Tue Feb 20 18:12:44 2001 +0000
@@ -1,5 +1,8 @@
 2001-02-20  Gerd Moellmann  <gerd@gnu.org>
 
+	* keyboard.c (read_char): When an event from unread-command-events
+	is from the tool or menu bar, set *USE_MOUSE_MENU to 1.
+
 	* window.c (Fwindow_end): Handle case that WINDOW's buffer is not
 	equal to the current buffer.