Searched refs:pause_or_input (Results 1 – 1 of 1) sorted by relevance
1485 pause_or_input (void) in pause_or_input() function1524 pause_or_input (); in inform_in_echo_area()