Lines Matching refs:info_input_stream
49 static FILE *info_input_stream = NULL; variable
291 if (!info_input_stream) in initialize_info_session()
294 info_input_stream = stdin; in initialize_info_session()
312 if ((info_input_stream != (FILE *)NULL) && in info_set_input_from_file()
313 (info_input_stream != stdin)) in info_set_input_from_file()
314 fclose (info_input_stream); in info_set_input_from_file()
316 info_input_stream = stream; in info_set_input_from_file()
4571 FD_SET (fileno (info_input_stream), &readfds); in info_get_another_input_char()
4574 … ready = select (fileno(info_input_stream)+1, &readfds, (fd_set *)NULL, (fd_set *)NULL, &timer); in info_get_another_input_char()
4908 tty = fileno (info_input_stream); in info_gather_typeahead()
4990 int tty = fileno (info_input_stream); in info_get_input_char()
5016 if (info_input_stream != stdin) in info_get_input_char()
5018 fclose (info_input_stream); in info_get_input_char()
5019 info_input_stream = stdin; in info_get_input_char()
5020 tty = fileno (info_input_stream); in info_get_input_char()