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

[Eli Zaretskii]

> From: Aaron Jensen <aaronjensen@gmail.com>
> Date: Sat, 7 Dec 2024 14:06:35 -0500
> Cc: monnier@iro.umontreal.ca, trevor.m.murphy@gmail.com, me@eshelyaron.com, 
>       73862@debbugs.gnu.org
> 
> Would it make sense to extend the face doc strings that should not use
> inheritance to indicate that?

I'm not sure.  Inheritance does work for the basic faces, it's just
that face-remapping doesn't get passed by inheritance.

> Alternatively, if there were a path to deprecating header-line and
> mode-line then the compatibility fix could be skipped.

Let's see what Stefan and others think about this.

We also haven't yet heard from Eshel.