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

[Eli Zaretskii]

> From: Ihor Radchenko <yantar92@posteo.net>
> Cc: monnier@iro.umontreal.ca, 64596@debbugs.gnu.org
> Date: Wed, 19 Jul 2023 10:11:19 +0000
> 
> >> I saw this. But "update" is not used consistently across that
> >> commentary.
> >
> > Tough.  "Update" is too general a word to limit is use.  Sorry.
> 
> May it be replaced by another, more precise, term then?

Already done.

> What about the attached patch?

Thanks, I installed a more detailed overview of the redisplay cycle,
which I hope will make the commentary more clear.