diff src/widget.h @ 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 29053ba75ce5
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff