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

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: yantar92@posteo.net,  64596@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.