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

[Po Lu]

Eli Zaretskii <eliz@gnu.org> writes:

> 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.

It seems to work for me.

Konrad, please try this instead:

diff --git a/src/window.c b/src/window.c
index 15d6cf94b0..38ee5f4ba7 100644
--- a/src/window.c
+++ b/src/window.c
@@ -7980,6 +7980,8 @@ DEFUN ("set-window-vscroll", Fset_window_vscroll, 
Sset_window_vscroll,
 
          /* Prevent redisplay shortcuts.  */
          XBUFFER (w->contents)->prevent_redisplay_optimizations_p = true;
+
+         wset_redisplay (w);
        }
     }