(redisplay_internal, mark_window_display_accurate)