(eval-when-compile (defvar lean-mode-map))
(use-package lean-mode
- :straight (:host github :repo "leanprover/lean-mode"
- :fork (:repo "notbandali/lean-mode" :branch "remove-cl"))
:defer 0.4
:bind (:map lean-mode-map
("S-SPC" . company-complete))
(load-theme 'tangomod t)
;; (sml/apply-theme 'automatic)
(font-lock-remove-keywords
- 'org-mode b/org-mode-font-lock-keywords)
- (exwm-systemtray--refresh))
+ 'org-mode b/org-mode-font-lock-keywords))
(defun b/lights-off ()
"Go dark."
(load-theme 'doom-one t)
;; (sml/apply-theme 'automatic)
(font-lock-add-keywords
- 'org-mode b/org-mode-font-lock-keywords t)
- (exwm-systemtray--refresh))
+ 'org-mode b/org-mode-font-lock-keywords t))
(bind-keys
("C-c t d" . b/lights-off)
(use-feature ebdb-mua
:demand
:after ebdb
- :custom (ebdb-mua-pop-up nil))
+ :custom (ebdb-mua-pop-up t))
;; (use-package ebdb-message
;; :after ebdb)