GNU bug report logs - #64596
30.0.50; On FIXME: in src/buffer.c:1481 (force-mode-line-update)

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: yantar92 <at> posteo.net, 64596 <at> debbugs.gnu.org
Subject: bug#64596: 30.0.50; On FIXME: in src/buffer.c:1481 (force-mode-line-update)
Date: Mon, 17 Jul 2023 16:07:42 +0300

> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
> Cc: yantar92 <at> posteo.net,  64596 <at> debbugs.gnu.org
> Date: Mon, 17 Jul 2023 08:53:00 -0400
> 
> > No, my point is that fset_redisplay shouldn't set
> > windows_or_buffers_changed.
> 
> Setting `windows_or_buffers_changed` there is currently necessary in
> order to make sure we look at the `redisplay` bits (as opposed to
> updating only the selected window).

I understand; I was suggesting a possible cleanup, since this
discussion is mainly about such cleanups.

Previous Next

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