void reset_info_window_sizes (void) { terminal_get_screen_size (); display_initialize_display (screenwidth, screenheight); window_new_screen_size (screenwidth, screenheight); redisplay_after_signal (); }
static void reset_info_window_sizes (void) { terminal_goto_xy (0, 0); fflush (stdout); terminal_unprep_terminal (); terminal_get_screen_size (); terminal_prep_terminal (); display_initialize_display (screenwidth, screenheight); window_new_screen_size (screenwidth, screenheight); redisplay_after_signal (); }