static void
redisplay_after_signal (void)
{
terminal_clear_screen ();
display_clear_display (the_display);
window_mark_chain (windows, W_UpdateWindow);
display_update_display (windows);
display_cursor_at_point (active_window);
fflush (stdout);
}
/* Prepare to read characters in the echo area. This can initialize the
echo area node, but its primary purpose is to side effect the input
line buffer contents. */
void
echo_area_prep_read (void)
{
if (the_echo_area->node != &input_line_node)
echo_area_initialize_node ();
the_echo_area->point = input_line_point;
input_line[input_line_end] = '\n';
display_update_one_window (the_echo_area);
display_cursor_at_point (active_window);
}
void
redisplay_after_signal (void)
{
terminal_clear_screen ();
display_clear_display (the_display);
if (auto_footnotes_p)
info_get_or_remove_footnotes (active_window);
window_mark_chain (windows, W_UpdateWindow);
display_update_display ();
display_cursor_at_point (active_window);
fflush (stdout);
}
/* Read a line of text in the echo area. Return a malloc ()'ed string,
or NULL if the user aborted out of this read. WINDOW is the currently
active window, so that we can restore it when we need to. PROMPT, if
non-null, is a prompt to print before reading the line. */
char *
info_read_in_echo_area (WINDOW *window, const char *prompt)
{
char *line;
/* If the echo area is already active, remember the current state. */
if (echo_area_is_active)
push_echo_area ();
/* Initialize our local variables. */
initialize_input_line (prompt);
/* Initialize the echo area for the first (but maybe not the last) time. */
echo_area_initialize_node ();
/* Save away the original node of this window, and the window itself,
so echo area commands can temporarily use this window. */
remember_calling_window (window);
/* Let the rest of Info know that the echo area is active. */
echo_area_is_active++;
active_window = the_echo_area;
/* Read characters in the echo area. */
info_read_and_dispatch ();
echo_area_is_active--;
/* Restore the original active window and show point in it. */
active_window = calling_window;
restore_calling_window ();
display_cursor_at_point (active_window);
fflush (stdout);
/* Get the value of the line. */
line = echo_area_after_read ();
/* If there is a previous loop waiting for us, restore it now. */
if (echo_area_is_active)
pop_echo_area ();
/* Return the results to the caller. */
return line;
}
