diff src/unexec.c @ 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 a805d5d9bc7e
children b6ca9b64ce9f
line wrap: on
line diff