Fix redisplay when scrolling under redisplay-dont-pause
* src/dispnew.c (update_window): Reset the window's 'must_be_updated_p' flag if the window's update was completed without interruption. This fixes redisplay glitches when 'redisplay-dont-pause' is nil, at least on MS-Windows, because 'expose_window' doesn't redraw the exposed rectangle when the window's 'must_be_updated_p' flag is set.
This commit is contained in:
parent
90321f595c
commit
17a1bb5a03
1 changed files with 4 additions and 0 deletions
|
@ -3683,6 +3683,10 @@ update_window (struct window *w, bool force_p)
|
||||||
W->output_cursor doesn't contain the cursor location. */
|
W->output_cursor doesn't contain the cursor location. */
|
||||||
gui_update_window_end (w, !paused_p, mouse_face_overwritten_p);
|
gui_update_window_end (w, !paused_p, mouse_face_overwritten_p);
|
||||||
#endif
|
#endif
|
||||||
|
/* If the update wasn't interrupted, this window has been
|
||||||
|
completely updated. */
|
||||||
|
if (!paused_p)
|
||||||
|
w->must_be_updated_p = false;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
paused_p = 1;
|
paused_p = 1;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue