(read_char): When an event from unread-command-events
commitd17e49a898f97e894fc9793b2d6678e0e104e191
authorGerd Moellmann <gerd@gnu.org>
Tue, 20 Feb 2001 18:12:44 +0000 (20 18:12 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 20 Feb 2001 18:12:44 +0000 (20 18:12 +0000)
tree0abb8b337d40a629f5bcddf780930a6ca4b102f3
parent7121a5e168c80e2e9b471bd742b0fe45b24c1535
(read_char): When an event from unread-command-events
is from the tool or menu bar, set *USE_MOUSE_MENU to 1.
src/ChangeLog
src/keyboard.c