X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/blobdiff_plain/95f304a8d9bd644b2fd49df49ca6acfbc93dae74..e003a4093636de8eaad7b7e4144bfbd7230dd021:/.emacs.d/init.el

diff --git a/.emacs.d/init.el b/.emacs.d/init.el
index 42152ea..55e63b7 100644
--- a/.emacs.d/init.el
+++ b/.emacs.d/init.el
@@ -1333,8 +1333,6 @@ This function is intended for use with `ivy-ignore-buffers'."
 
 (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))
@@ -1561,8 +1559,7 @@ This function is intended for use with `ivy-ignore-buffers'."
   (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."
@@ -1571,8 +1568,7 @@ This function is intended for use with `ivy-ignore-buffers'."
   (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)