diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-01-02 13:53:39 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-01-02 13:53:39 +0000 |
| commit | a366a97397541f95ce58e316005fbbe9d5907779 (patch) | |
| tree | 9ce65c83a9566b23d7ac44b68ff854a639e6de3e | |
| parent | 6d4de41ececa5c29f2f5c82ac7e6fe66eeb582ef (diff) | |
| download | ymh-emacs-a366a97397541f95ce58e316005fbbe9d5907779.tar.gz ymh-emacs-a366a97397541f95ce58e316005fbbe9d5907779.zip | |
Add some more coq faces
| -rw-r--r-- | init.el | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -325,7 +325,10 @@ https://yannherklotz.com")) (modus-themes-with-colors (custom-set-faces `(proof-locked-face ((,c :background ,bg-cyan-nuanced :extend t))) - `(proof-queue-face ((,c :background ,bg-magenta-nuanced :extend t)))))) + `(proof-queue-face ((,c :background ,bg-magenta-nuanced :extend t))) + `(proof-warning-face ((,c :inherit modus-themes-subtle-yellow))) + `(coq-solve-tactics-face ((,c :inherit modus-themes-fg-red))) + `(coq-cheat-face ((,c :inherit modus-themes-intense-red)))))) (add-hook 'modus-themes-after-load-theme-hook #'ymh/modus-themes-coq-custom-faces) (load-theme 'modus-vivendi-tinted 'no-confirm)) |