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