Fix bug in `pixel-scroll-precision-mode' on nonselected windows

* src/window.c (Fset_window_vscroll): Mark window for redisplay.
(bug#55299)

diff --git a/src/window.c b/src/window.c
index 15d6cf94b0ec1fb1bac864020d1423a3225241f0..72d10f9da23a529df75aa9e772d42e00fca4966d 100644 (file)
--- a/src/window.c
+++ b/src/window.c
@@ -7980,6 +7980,9 @@ If PIXELS-P is non-nil, the return value is VSCROLL.  */)
 
          /* Prevent redisplay shortcuts.  */
          XBUFFER (w->contents)->prevent_redisplay_optimizations_p = true;
+
+         /* Mark W for redisplay.  (bug#55299) */
+         wset_redisplay (w);
        }
     }