Subject: bug#1779: 23.0.60; proced with variable-pitch header line

From: Stefan Monnier <[email-masked]>
Date: Mon, 29 Nov 2021 13:55:54 -0500

Lars Ingebrigtsen [2021-11-29 19:47:11] wrote:
> Stefan Monnier <[email-masked]> writes:
>> A `pre-redisplay-function` that looks at `window-start` and sets
>> the `header-line` accordingly might work.
> Hm...  interesting.  Do we do something similar to this elsewhere in Emacs?

tabulated-list.el uses `pre-redisplay-function` to (re)set the
header-line in accordance to the line-number width.  That's not quite
the same but the key words do match ;-)

        Stefan