commit e29d07bd7227f4c3f90b3847799c3a67756725f9
parent 7efb15a3149447bfd259fc156338f9d09a4df9a6
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Fri, 18 Sep 2020 13:04:42 +0200
Tweak which-key faces
The keyword face brings too much emphasis to a somewhat
low-information symbol, IMO.
which-key-key-face deserves actual "buttons".
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/eighters-theme.el b/eighters-theme.el
@@ -145,7 +145,9 @@
'(magit-section-highlight ((t (:inherit (highlight)))))
'(markdown-code-face ((t (:inherit (fixed-pitch-serif)))))
'(markdown-inline-code-face ((t (:inherit (markdown-code-face)))))
- '(markdown-pre-face ((t (:extend t :inherit (markdown-code-face highlight))))))
+ '(markdown-pre-face ((t (:extend t :inherit (markdown-code-face highlight)))))
+ '(which-key-group-description-face ((t (:inherit (font-lock-type-face)))))
+ '(which-key-key-face ((t (:weight bold :box (:line-width 3 :style released-button) :inverse-video t)))))
(custom-theme-set-variables 'eighters
'(ansi-color-names-vector