From 6bc5404df6a3f2212b056e7847e780a2c7e56ddf Mon Sep 17 00:00:00 2001 From: Leni Ven Date: Fri, 5 May 2023 21:18:21 -0700 Subject: [PATCH] Move lean4 tab width to `config.el` --- home/doomemacs/config.org | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/home/doomemacs/config.org b/home/doomemacs/config.org index 2a11399..666cda9 100644 --- a/home/doomemacs/config.org +++ b/home/doomemacs/config.org @@ -506,12 +506,11 @@ Lean 4 is still volatile and under construction. :host github :repo "leanprover/lean4-mode" :files ("*.el" "data"))) -(defun custom/lean4-mode-hook () - (setq tab-width 2) - ) -(add-hook 'lean4-mode-hook #'custom/lean4-mode-hook) #+end_src + #+begin_src emacs-lisp +(add-hook 'lean4-mode-hook (lambda () + (setq tab-width 2))) (map! :after lean4-mode :localleader :map lean4-mode-map