GNU bug report logs - #55299
29.0.50; Bug with the mode-line and pixel-scroll-precision-mode

Previous Next

Full log

Message #44 received at 55299 <at> debbugs.gnu.org (full text, mbox):

From: Konrad Podczeck <konrad.podczeck <at> univie.ac.at>
To: Po Lu <luangruo <at> yahoo.com>
Cc: 55299 <at> debbugs.gnu.org, Eli Zaretskii <eliz <at> gnu.org>
Subject: Re: 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 <at> yahoo.com>:
> 
> Eli Zaretskii <eliz <at> 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);
> 	}
>     }
> 

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.