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

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 29 Nov 2021 19:47:11 +0100

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?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no