645 		 config_filename, rootmenu.prompt->text);  in set_config_filename()
772 	prop = menu->prompt;  in build_conf()
775 			const char *prompt = menu_get_prompt(menu);  in build_conf()  local
777 			ptype = menu->prompt ? menu->prompt->type : P_UNKNOWN;  in build_conf()
785 						indent + 1, ' ', prompt);  in build_conf()
789 						  indent + 1, ' ', prompt,  in build_conf()
796 				if (prompt) {  in build_conf()
801 						prompt);  in build_conf()
805 				if (prompt) {  in build_conf()
809 						prompt);  in build_conf()
890 		if (menu->prompt && menu->prompt->type == P_MENU) {  in build_conf()
932 static void show_menu(const char *prompt, const char *instructions,  in show_menu()  argument
948 	mvwprintw(main_window, 0, 3, " %s ", prompt);  in show_menu()
1180 				else if (submenu->prompt &&  in selected_conf()
1181 					 submenu->prompt->type == P_MENU)  in selected_conf()
1231 	const char *prompt = menu_get_prompt(menu);  in conf_choice()  local
1268 		show_menu(prompt ? prompt : "Choice Menu",  in conf_choice()
1350 	const char *prompt = menu_get_prompt(menu);  in conf_string()  local
1370 				prompt ? prompt : "Main Menu",  in conf_string()