show_prompt 426 src/usermenu.c execute_menu_command (const WEdit * edit_widget, const char *commands, gboolean show_prompt) show_prompt 557 src/usermenu.c else if (show_prompt)