[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#28033: [PATCH] Add new face 'header-line-highlight'
|
From: |
Eli Zaretskii |
|
Subject: |
bug#28033: [PATCH] Add new face 'header-line-highlight' |
|
Date: |
Thu, 10 Aug 2017 07:13:23 +0300 |
> From: Alex <agrambot@gmail.com>
> 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.
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/09
- bug#28033: [PATCH] Add new face 'header-line-highlight',
Eli Zaretskii <=
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/10
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/11
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/11
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/12
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/12
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/13
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/13