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

From: Eli Zaretskii <[email-masked]>
Date: Mon, 17 Jul 2023 16:07:42 +0300

> From: Stefan Monnier <[email-masked]>
> Cc: [email-masked],  [email-masked]
> 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.