x_menu_wait_for_event 9511 src/xfns.c           x_menu_wait_for_event (0);
x_menu_wait_for_event  341 src/xmenu.c              if (do_timers) x_menu_wait_for_event (0);
x_menu_wait_for_event  626 src/xmenu.c          if (do_timers) x_menu_wait_for_event (0);
x_menu_wait_for_event 2776 src/xmenu.c      XMenuActivateSetWaitFunction (x_menu_wait_for_event,
x_menu_wait_for_event 1991 src/xterm.h    extern void x_menu_wait_for_event (void *data);