show_prompt       425 src/usermenu.c execute_menu_command (const WEdit * edit_widget, const char *commands, gboolean show_prompt)
show_prompt       560 src/usermenu.c         if (show_prompt)