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

[Konrad Podczeck <konrad.podczeck@univie.ac.at>]

Both patches (applied separatedly) do the job! 

Thanks for looking into this,

Konrad

> Am 08.05.2022 um 09:06 schrieb Po Lu <luangruo@yahoo.com>:
> 
> 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);
> 	}
>     }
>