diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-01-02 14:23:04 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-01-02 14:23:04 +0000 |
| commit | 9b3cc668364cb30d8f301c0e43701e178876c143 (patch) | |
| tree | 74aa3e68d9bf47516e3d41254a7dc375cfdb9b9e | |
| parent | a366a97397541f95ce58e316005fbbe9d5907779 (diff) | |
| download | ymh-emacs-9b3cc668364cb30d8f301c0e43701e178876c143.tar.gz ymh-emacs-9b3cc668364cb30d8f301c0e43701e178876c143.zip | |
Update coq-cheat-face with box
| -rw-r--r-- | init.el | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -328,7 +328,8 @@ https://yannherklotz.com")) `(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)))))) + `(coq-cheat-face ((,c :inherit modus-themes-intense-red + :box (:line-width -1 :color ,bg-red-intense :style nil))))))) (add-hook 'modus-themes-after-load-theme-hook #'ymh/modus-themes-coq-custom-faces) (load-theme 'modus-vivendi-tinted 'no-confirm)) |