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); }
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); }