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)