[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#28033: [PATCH] Add new face 'header-line-highlight'
|
From: |
Alex |
|
Subject: |
bug#28033: [PATCH] Add new face 'header-line-highlight' |
|
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.
0001-Add-new-face-header-line-highlight.patch
Description: header-line-highlight
- bug#28033: [PATCH] Add new face 'header-line-highlight',
Alex <=
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/10
- 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