[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mo
From: |
Konrad Podczeck |
Subject: |
bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode |
Date: |
Sun, 8 May 2022 12:01:33 +0200 |
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);
> }
> }
>
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, (continued)
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Po Lu, 2022/05/07
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Konrad Podczeck, 2022/05/07
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Po Lu, 2022/05/07
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Konrad Podczeck, 2022/05/07
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Po Lu, 2022/05/07
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Po Lu, 2022/05/07
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Eli Zaretskii, 2022/05/08
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Po Lu, 2022/05/08
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Eli Zaretskii, 2022/05/08
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Po Lu, 2022/05/08
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode,
Konrad Podczeck <=
- bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Po Lu, 2022/05/08
bug#55299: 29.0.50; Bug with the mode-line and pixel-scroll-precision-mode, Konrad Podczeck, 2022/05/19