Searched refs:used_typed_char (Results 1 – 1 of 1) sorted by relevance
2806 int used_typed_char = typed_char; in do_more_prompt() local2842 if (used_typed_char != NUL) in do_more_prompt()2844 c = used_typed_char; // was typed at hit-enter prompt in do_more_prompt()2845 used_typed_char = NUL; in do_more_prompt()