commit df6cae177635392c7dcf052d99d8878a91854610 parent 8e617053259dee255c53cca7ac1a7f1eb9e4eb80 Author: Alex Balgavy <alex@balgavy.eu> Date: Tue, 9 Aug 2022 23:57:34 +0200 emacs: org-vanish Diffstat:
| M | emacs/config.org | | | 12 | ++++++++++++ |
1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/emacs/config.org b/emacs/config.org @@ -1049,6 +1049,18 @@ Basically provides a way to show the org agenda as a standard GUI calendar app w (setq calendar-week-start-day 1)) #+end_src +** vanish: hide parts of the file +#+begin_src emacs-lisp + (use-package vanish + :quelpa (vanish :repo "thezeroalpha/vanish.el" :fetcher github) + :ensure nil) +#+end_src + +Customize the prefix: + +#+begin_src emacs-lisp + (custom-set-variables '(vanish-prefix (kbd "C-c q h") 'now)) +#+end_src ** lean-mode Specifically for the Lean prover. I also install company-lean and helm-lean, which are suggested on the [[https://github.com/leanprover/lean-mode][Github page]].