| 1853 | } |
| 1854 | |
| 1855 | int |
| 1856 | select_menu(winid window, int how, menu_item **menu_list) |
| 1857 | { |
| 1858 | int reslt; |
| 1859 | boolean old_bot_disabled = gb.bot_disabled; |
| 1860 | |
| 1861 | gb.bot_disabled = TRUE; |
| 1862 | reslt = (*windowprocs.win_select_menu)(window, how, menu_list); |
| 1863 | gb.bot_disabled = old_bot_disabled; |
| 1864 | return reslt; |
| 1865 | } |
| 1866 | |
| 1867 | void |
| 1868 | getlin(const char *query, char *bufp) |
no outgoing calls
no test coverage detected