show_prompt       439 src/usermenu.c execute_menu_command (const Widget * edit_widget, const char *commands, gboolean show_prompt)
show_prompt       576 src/usermenu.c     else if (show_prompt)