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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 21 Jul 2023 08:48:45 +0300

> From: Richard Stallman <[email-masked]>
> Cc: [email-masked], [email-masked], [email-masked]
> Date: Thu, 20 Jul 2023 22:41:01 -0400
> 
>   > Which immediately creates an impression that "redisplay" and "update"
>   > are referring to the same thing.
>   > It would be nice the highlight the distinction rightaway there.
> 
> For me, they are two ways of thinking about the same action.
> Redisplay is a little more terse and a little more technical in feel,
> but concretely it means "updating the screen".

Yes, it does.  "Redisplay" is actually the name of the entire process,
which includes "update_frame" as its last step.

I have modified the commentary in xdisp.c to make this "30KFt view" of
redisplay more clear at first reading.