diff options
| author | jao <jao@gnu.org> | 2021-03-29 01:07:21 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-03-29 01:07:21 +0100 |
| commit | b97388585d8cf633a60a6ff4a7dcd24a2a8e2b89 (patch) | |
| tree | a86328471b8debea6e0802c2fbc9c25f4be7d62f | |
| parent | 39538d29efcbd4fecc31d1ea27f9b7ae4f273318 (diff) | |
| download | elibs-b97388585d8cf633a60a6ff4a7dcd24a2a8e2b89.tar.gz elibs-b97388585d8cf633a60a6ff4a7dcd24a2a8e2b89.tar.bz2 | |
themes: help-* faces
| -rw-r--r-- | lib/themes/jao-themes.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/themes/jao-themes.el b/lib/themes/jao-themes.el index dc4ed74..aa49d9a 100644 --- a/lib/themes/jao-themes.el +++ b/lib/themes/jao-themes.el @@ -685,7 +685,8 @@ (gui-element (~ gui-button-face))) `((haskell-constructor-face (~ haskell-type-face)) (header-line (~ mode-line-inactive)) - (help-argument-name) + (help-argument-name (p f10)) + (help-key-binding (p f00)) (helm-selection (p hilite)) (helm-separator (p dimm)) (helm-source-header (~ outline-1)) |