diff options
author | jao <jao@gnu.org> | 2021-12-03 02:07:44 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2021-12-03 02:09:02 +0000 |
commit | e8d3192b63d2242bc7173ae0acfa8a0f4cddba31 (patch) | |
tree | 0354006d10c6c8aa6d33cea677e90f78287d8e6f /lib | |
parent | 6db7593ecc6e253a5fc346e9486d1f41c16d1055 (diff) | |
download | elibs-e8d3192b63d2242bc7173ae0acfa8a0f4cddba31.tar.gz elibs-e8d3192b63d2242bc7173ae0acfa8a0f4cddba31.tar.bz2 |
geiser nits
Diffstat (limited to 'lib')
-rw-r--r-- | lib/themes/jao-themes.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/themes/jao-themes.el b/lib/themes/jao-themes.el index 51ba6d3..a37afb8 100644 --- a/lib/themes/jao-themes.el +++ b/lib/themes/jao-themes.el @@ -606,6 +606,8 @@ (~ font-lock-function-name-face)) (geiser-font-lock-doc-button (~ button)) (geiser-font-lock-doc-link link) + (geiser-font-lock-repl-input (~ default) bf) + (geiser-font-lock-repl-output (~ default)) (geiser-font-lock-doc-title bf) (geiser-font-lock-xref-header bf) (geiser-font-lock-xref-link link nul) |