Subject: bug#73862: [PATCH] Add `header-line-active` and `header-line-inactive` faces.

From: Aaron Jensen <[email-masked]>
Date: Mon, 23 Dec 2024 21:17:16 -0800

On Mon, Dec 23, 2024 at 7:30 PM, Eli Zaretskii <[email-masked]> wrote:

> From: Aaron Jensen <[email-masked]>
> Date: Mon, 23 Dec 2024 13:19:32 -0800
> Cc: Eli Zaretskii <[email-masked]>, [email-masked], monnier@iro.
> umontreal.ca, [email-masked], [email-masked]
>
> On Mon, Dec 23, 2024 at 2:20 AM, Eshel Yaron <[email-masked]> wrote:
>
> Eli Zaretskii <[email-masked]> writes:
>
> Please try the patch below. If it gives good results, please run with it
> for awhile, and tell if you see anything unusual or unexpected.
>
> Thanks, so far so good.
>
> Same for me, it's also working so far.
>
> Are there any tradeoffs with this approach other than additional code
> complexity? Any performance concerns?
>
> I didn't time the code. It is a bit more expensive, but I don't know by
> how much. Maybe you could see what happens in a session with lots and lots
> of faces and report?
>

Does the change impact anything more than the infrequent basic face
calculation (whatever the thing was we were triggering by changing the
default face size) or is it in the standard render path?

Aaron