Next: wait_for_tape, Previous: wait, Up: Internal Routines [Contents][Index]
wait_for_menu [, erase_prev]
[x11]
Waits for a user menu selection. If
erase_prev
is set and unequal to zero, then pending menu
selections are discarded before waiting for a new user selection.
Otherwise, the oldest pending selection is returned. The results are
stored in !last_menu
(menu number), !menu_item
(item
number in menu, starting at zero), !xmenu
, !ymenu
(position of mouse relative to menu’s upper left hand corner; in units
of one character or one line, respectively)
See also: menu, checkmenu, !last_menu, !menu_item, !xmenu, !ymenu