|
| From: | Stefan Monnier |
| Subject: | bug#64596: 30.0.50; On FIXME: in src/buffer.c:1481 (force-mode-line-update) |
| Date: | Fri, 14 Jul 2023 10:50:08 -0400 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
> Moreover, you will see in the wild that force-mode-line-update is used
> not just to update the mode line, but also to force a more thorough
> redisplay of one or more windows.
AFAIK these are bugs and we should not hide them by making
`force-mode-line-update` do more than what it's designed to do.
Stefan
| [Prev in Thread] | Current Thread | [Next in Thread] |