Searched refs:info_any_buffered_input_p (Results 1 – 3 of 3) sorted by relevance
25 extern int info_any_buffered_input_p (void); /* Found in session.c. */362 if (info_any_buffered_input_p ()) in display_update_one_window()466 if (info_any_buffered_input_p ()) in display_scroll_display()
82 extern int info_any_buffered_input_p (void);
210 if (!info_any_buffered_input_p ()) in info_read_and_dispatch()3926 if (!info_any_buffered_input_p () && display_was_interrupted_p) in incremental_search()4077 || info_any_buffered_input_p ())) in incremental_search()4563 if (!info_any_buffered_input_p () && in info_get_another_input_char()4746 if (display_was_interrupted_p && !info_any_buffered_input_p ())4892 info_any_buffered_input_p (void) in info_any_buffered_input_p() function