branch: externals/modus-themes
commit bdb18b2ee27344e44e2a17c78524205d02d5174c
Author: Protesilaos Stavrou <i...@protesilaos.com>
Commit: Protesilaos Stavrou <i...@protesilaos.com>
Make 'header-line-highlight' draw a box around it
This makes the mouse hover effect easier to spot against the grey
background.
---
modus-themes.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/modus-themes.el b/modus-themes.el
index a8c535e475..e858fc9bf2 100644
--- a/modus-themes.el
+++ b/modus-themes.el
@@ -1776,7 +1776,7 @@ FG and BG are the main colors."
`(escape-glyph ((,c :foreground ,err)))
`(file-name-shadow ((,c :inherit shadow)))
`(header-line ((,c :inherit modus-themes-ui-variable-pitch :background
,bg-dim)))
- `(header-line-highlight ((,c :inherit highlight)))
+ `(header-line-highlight ((,c :background ,bg-hover :foreground ,fg-main
:box ,fg-main)))
`(help-argument-name ((,c :inherit modus-themes-slant :foreground
,variable)))
`(help-key-binding ((,c :inherit modus-themes-key-binding)))
`(highlight ((,c :background ,bg-hover :foreground ,fg-main)))
