Move lean4 tab width to `config.el`
This commit is contained in:
parent
6c8032c3e1
commit
6bc5404df6
|
@ -506,12 +506,11 @@ Lean 4 is still volatile and under construction.
|
||||||
:host github
|
:host github
|
||||||
:repo "leanprover/lean4-mode"
|
:repo "leanprover/lean4-mode"
|
||||||
:files ("*.el" "data")))
|
:files ("*.el" "data")))
|
||||||
(defun custom/lean4-mode-hook ()
|
|
||||||
(setq tab-width 2)
|
|
||||||
)
|
|
||||||
(add-hook 'lean4-mode-hook #'custom/lean4-mode-hook)
|
|
||||||
#+end_src
|
#+end_src
|
||||||
|
|
||||||
#+begin_src emacs-lisp
|
#+begin_src emacs-lisp
|
||||||
|
(add-hook 'lean4-mode-hook (lambda ()
|
||||||
|
(setq tab-width 2)))
|
||||||
(map! :after lean4-mode
|
(map! :after lean4-mode
|
||||||
:localleader
|
:localleader
|
||||||
:map lean4-mode-map
|
:map lean4-mode-map
|
||||||
|
|
Loading…
Reference in New Issue