comparison make-dist @ 11654:47ceabade5b2

(kbd_buffer_get_event): New arg USED_MOUSE_MENU. [USE_X_TOOLKIT]: Set *USED_MOUSE_MENU if returning menu-bar symbols. (read_char): Pass used_mouse_menu to kbd_buffer_get_event. This variable is now meaningful for toolkit menus as well as non-toolkit menus.
author Karl Heuer <kwzh@gnu.org>
date Tue, 02 May 1995 04:41:26 +0000
parents 52bf246dd940
children e3434c390970
comparison
equal deleted inserted replaced
11653:5416e2c64d19 11654:47ceabade5b2