dotfiles

commit d53f6cf718cbcc1b6659f5bc315683d63a2d7f20
parent b9cdbbb56ea6104498e4beb7eb457582dd9cedc8
Author: Alex Balgavy <alex@balgavy.eu>
Date:   Mon, 15 Aug 2022 17:28:58 +0200

emacs: use develop version of vanish.el

Diffstat:
M
emacs/config.org
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/emacs/config.org b/emacs/config.org
@@ -1085,14 +1085,14 @@ Basically provides a way to show the org agenda as a standard GUI calendar app w
 ** vanish: hide parts of the file
 #+begin_src emacs-lisp
   (use-package vanish
-    :quelpa (vanish :repo "thezeroalpha/vanish.el" :fetcher github)
+    :quelpa (vanish :fetcher github :repo "thezeroalpha/vanish.el" :branch "develop")
     :ensure nil)
 #+end_src
 
 Customize the prefix:
 
 #+begin_src emacs-lisp
-  (custom-set-variables '(vanish-prefix (kbd "C-c q h") 'now))
+  (define-key vanish-mode-map (kbd "C-c q h") #'vanish-toggle)
 #+end_src
 ** lean-mode
 Specifically for the Lean prover.
@@ -1535,6 +1535,7 @@ Then, a way to jump forward and backward in the window:
             (if (buffer-live-p buf) (cl-return buf)))
           (ring-remove buf-ring index)))))
 
+
   (defun za/helpful--previous (&optional buffer)
     "Return the previous live Helpful buffer relative to BUFFER."
     (let ((buf-ring za/helpful--buffer-ring)