Fiddle some more with themes

1 files changed, 23 insertions, 9 deletions

diff --git a/init.el b/init.el
index 92312f3..449cba1 100644
--- a/init.el
+++ b/init.el
@@ -88,8 +88,6 @@
 
   (setq enable-recursive-minibuffers t)
 
-  (setq face-remapping-alist '((proof-locked-face . region)))
-
   (defvar --backup-directory)
   (setq --backup-directory (expand-file-name "backups" user-emacs-directory))
   (if (not (file-exists-p --backup-directory))
@@ -293,7 +291,7 @@ https://yannherklotz.com"))
   (setq appt-display-diary nil)
   (setq appt-disp-window-function #'appt-disp-window)
   (setq appt-display-mode-line t)
-  (setq appt-display-interval 3)
+  (setq appt-display-interval 5)
   (setq appt-audible nil)
   (setq appt-warning-time-regexp "appt \\([0-9]+\\)")
   (setq appt-message-warning-time 15)
@@ -313,14 +311,24 @@ https://yannherklotz.com"))
 (use-package modus-themes
   :ensure t
   :init
-  (setq modus-vivendi-palette-overrides
-        '((bg-mode-line-active bg-cyan-subtle)
-          (border-mode-line-active bg-cyan-subtle)))
-  (setq modus-operandi-palette-overrides
+  (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)))
+          (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)))
+  (setq modus-themes-to-toggle
+        '(modus-operandi-tintd modus-vivendi-tinted))
   :config
-  (load-theme 'modus-vivendi 'no-confirm))
+  (load-theme 'modus-vivendi-tinted 'no-confirm))
 
 (use-package pass
   :ensure t
@@ -488,6 +496,12 @@ https://yannherklotz.com"))
 (use-package org-transclusion
   :ensure t
   :after org
+  :bind
+  (("C-c t i" . org-transclusion-add)
+   ("C-c t r" . org-transclusion-remove)
+   ("C-c t R" . org-transclusion-remove-all)
+   ("C-c t <tab>" . org-transclusion-refresh)
+   ("C-c t m" . org-transclusion-mode))
   :config
   (setq org-transclusion-exclude-elements nil))