Subject: bug#28033: [PATCH] Add new face 'header-line-highlight'

From: Eli Zaretskii <[email-masked]>
Date: Thu, 10 Aug 2017 07:13:23 +0300

> From: Alex <[email-masked]>
> Date: Wed, 09 Aug 2017 17:29:19 -0600
> 
> Some header-line configurations don't interact nicely with the
> 'highlight' face, particularly when they use the :box attribute.

Can you elaborate about the problem and why introducing a new face is
the solution for it?

Thanks.