diff options
| author | jao <jao@gnu.org> | 2021-02-08 21:30:35 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-02-08 21:30:35 +0000 |
| commit | 6f6d49b8b561d8732b23b494e572a1ffd0e8f305 (patch) | |
| tree | ecfde433ef5ad4c84cc33cc0b604e8cc1fca3388 /lib/themes/jao-themes.el | |
| parent | a88985711f4f838762732bde2b5b75381ca71ee2 (diff) | |
| download | elibs-6f6d49b8b561d8732b23b494e572a1ffd0e8f305.tar.gz elibs-6f6d49b8b561d8732b23b494e572a1ffd0e8f305.tar.bz2 | |
nits
Diffstat (limited to 'lib/themes/jao-themes.el')
| -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 c340b84..e9cb6e0 100644 --- a/lib/themes/jao-themes.el +++ b/lib/themes/jao-themes.el @@ -675,7 +675,8 @@ (google-translate-translation-face bf) (gui-button-face (~ button)) (gui-element (~ gui-button-face))) - `((header-line (~ mode-line-inactive)) + `((haskell-constructor-face (~ haskell-type-face)) + (header-line (~ mode-line-inactive)) (help-argument-name) (helm-selection (p hilite)) (helm-separator (p dimm)) |