w32_menu_display_help   95 src/w32fns.c   extern void w32_menu_display_help (HWND, HMENU, UINT, UINT);
w32_menu_display_help 5112 src/w32fns.c   	w32_menu_display_help (hwnd, menu, menu_item, flags);
w32_menu_display_help 1477 src/w32menu.c  void w32_menu_display_help (HWND, HMENU, UINT, UINT);