| 866 | } |
| 867 | |
| 868 | void |
| 869 | X11_end_menu(winid window, const char *query) |
| 870 | { |
| 871 | struct menu_info_t *menu_info; |
| 872 | |
| 873 | check_winid(window); |
| 874 | menu_info = window_list[window].menu_information; |
| 875 | if (!menu_info->is_menu) { |
| 876 | impossible("end_menu: called before start_menu"); |
| 877 | return; |
| 878 | } |
| 879 | debugpline2("X11_end_menu(%i, %s)", window, query); |
| 880 | menu_info->new_menu.query = copy_of(query); |
| 881 | } |
| 882 | |
| 883 | int |
| 884 | X11_select_menu(winid window, int how, menu_item **menu_list) |
nothing calls this directly
no test coverage detected