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

From: Richard Stallman <[email-masked]>
Date: Thu, 20 Jul 2023 22:41:01 -0400

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > 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".

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)