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

[Eli Zaretskii]

> From: Po Lu <luangruo@yahoo.com>
> Cc: konrad.podczeck@univie.ac.at,  55299@debbugs.gnu.org
> 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.