bug#43926: 26.3; Face `header-line-highlight': inherit from `mode-line-highlight', not `highlight'

[Eli Zaretskii]

> Date: Sun, 11 Oct 2020 09:28:39 -0700 (PDT)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: 43926@debbugs.gnu.org
> 
> > You want to have this face display as both raised-button _and_
> > highlighted in color?  Which other applications do something like
> > that?
> 
> Dunno.  Does it matter which other apps do that?

Yes, because I think what you suggest will look uglier than what we
have now.  It will also be unexpected.

> > Where the 3D face is not available, we do inherit from 'highlight'.
> 
> The real point of this particular bug is to have
> header-line inherit from mode-line.  Whether they
> should inherit from `highlight' is another matter
> (secondary).

I responded only to the "secondary matter".