emacs: update lean-mode

[~bandali/configs] / .emacs.d / init.el

diff --git a/.emacs.d/init.el b/.emacs.d/init.el
index 48971fd..13350c7 100644 (file)
--- a/.emacs.d/init.el
+++ b/.emacs.d/init.el
@@ -394,6 +394,7 @@ For disabling the behaviour for certain buffers and/or modes."
 
 ;; time and battery in mode-line
 (use-feature time
 
 ;; time and battery in mode-line
 (use-feature time

+  :disabled

   :demand
   :config
   (display-time-mode)
   :demand
   :config
   (display-time-mode)


@@ -402,6 +403,7 @@ For disabling the behaviour for certain buffers and/or modes."
   (display-time-format "%a %b %-e, %-l:%M%P"))
 
 (use-feature battery
   (display-time-format "%a %b %-e, %-l:%M%P"))
 
 (use-feature battery

+  :disabled

   :demand
   :config
   (display-battery-mode)
   :demand
   :config
   (display-battery-mode)


@@ -561,6 +563,7 @@ For disabling the behaviour for certain buffers and/or modes."
 ;;; Essential packages
 
 (use-package exwm
 ;;; Essential packages
 
 (use-package exwm

+  :disabled

   :demand
   :config
   ;; make class name the buffer name, truncating beyond 60 characters
   :demand
   :config
   ;; make class name the buffer name, truncating beyond 60 characters


@@ -754,7 +757,20 @@ around if needed."
   :demand
   :after exwm
   :config
   :demand
   :after exwm
   :config

-  (exwm-randr-enable))
+  (exwm-randr-enable)
+  :custom
+  (exwm-randr-workspace-monitor-plist '(1 "VGA-1"))
+  :hook
+  (exwm-randr-screen-change . (lambda ()
+                                (let ((xrandr
+                                       (string-join
+                                        '("xrandr"
+                                          "--output VGA-1"
+                                          "--same-as LVDS-1"
+                                          "--auto")
+                                        " ")))
+                                  (start-process-shell-command
+                                   "xrandr" nil xrandr)))))

 
 (use-feature exwm-systemtray
   :demand
 
 (use-feature exwm-systemtray
   :demand


@@ -1317,8 +1333,6 @@ This function is intended for use with `ivy-ignore-buffers'."
 
 (eval-when-compile (defvar lean-mode-map))
 (use-package lean-mode
 
 (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))
   :defer 0.4
   :bind (:map lean-mode-map
               ("S-SPC" . company-complete))


@@ -2427,7 +2441,7 @@ https://csclub.uwaterloo.ca/~abandali")
 (use-feature ebdb-mua
   :demand
   :after ebdb
 (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)
 
 ;; (use-package ebdb-message
 ;;   :after ebdb)