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. */
|
||||
gui_update_window_end (w, !paused_p, mouse_face_overwritten_p);
|
||||
#endif
|
||||
/* If the update wasn't interrupted, this window has been
|
||||
completely updated. */
|
||||
if (!paused_p)
|
||||
w->must_be_updated_p = false;
|
||||
}
|
||||
else
|
||||
paused_p = 1;
|
||||
|
|
Loading…
Add table
Reference in a new issue