Subject: bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode

From: Eli Zaretskii <[email-masked]>
Date: Sun, 08 May 2022 09:13:27 +0300

> From: Po Lu <[email-masked]>
> Cc: [email-masked],  [email-masked]
> Date: Sun, 08 May 2022 13:55:28 +0800
> 
> The problem is windows are not marked for redisplay after their vscroll
> changes, so redisplay only happens to the selected window after just
> setting the vscroll.
> 
> I suppose `wset_redisplay' would work too.

If the problem is that non-selected windows don't get redisplayed,
then yes, wset_redisplay should do.  And if it doesn't, we need to
understand why.