diff options
Diffstat (limited to 'init.el')
| -rw-r--r-- | init.el | 15 |
1 files changed, 7 insertions, 8 deletions
@@ -311,23 +311,22 @@ https://yannherklotz.com")) (use-package modus-themes :ensure t :init - (defun ymh/modus-themes-coq-custom-faces () - (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)))))) - (add-hook 'modus-themes-after-load-theme-hook #'ymh/modus-themes-coq-custom-faces) (setq modus-themes-common-palette-overrides '((bg-mode-line-active bg-cyan-subtle) (border-mode-line-active bg-cyan-subtle) (bg-mode-line-inactive bg-cyan-nuanced) (border-mode-line-inactive bg-cyan-nuanced) (fg-region unspecified) - (bg-region bg-green-subtle) - (proof-locked bg-green-subtle))) + (bg-region bg-green-subtle))) (setq modus-themes-to-toggle '(modus-operandi-tintd modus-vivendi-tinted)) :config + (defun ymh/modus-themes-coq-custom-faces () + (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)))))) + (add-hook 'modus-themes-after-load-theme-hook #'ymh/modus-themes-coq-custom-faces) (load-theme 'modus-vivendi-tinted 'no-confirm)) (use-package pass |