2nd follow-up to alternative fix for menu search (':')

src/windows.c

@@ -1679,6 +1679,17 @@ get_menu_coloring(const char *str, int *color, int *attr)
     return FALSE;
 }
 
+int select_menu(winid window, int how, menu_item **menu_list)
+{
+    int reslt;
+    boolean old_bot_disabled = gb.bot_disabled;
+
+    gb.bot_disabled = TRUE;
+    reslt = (*windowprocs.win_select_menu)(window, how, menu_list);
+    gb.bot_disabled = old_bot_disabled;
+    return reslt;
+}
+
 void
 getlin(const char *query, register char *bufp)
 {