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

[Stefan Monnier]

Lars Ingebrigtsen [2021-11-29 19:47:11] wrote:
> Stefan Monnier <monnier@iro.umontreal.ca> 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