[emacs] use lean-input as default input method, toggled with C-\

[~bandali/configs] / init.org

diff --git a/init.org b/init.org
index c1abe38..3448670 100644 (file)
--- a/init.org
+++ b/init.org
@@ -693,7 +693,9 @@ In short, my favourite way of life.
         org-src-preserve-indentation nil
         org-edit-src-content-indentation 0
         org-log-done 'time)
-  :hook (org-mode . org-indent-mode)
+  :hook ((org-mode . org-indent-mode)
+         (org-mode . auto-fill-mode)
+         (org-mode . flyspell-mode))
   :custom
   (org-latex-packages-alist '(("" "listings") ("" "color"))))
 
@@ -1132,9 +1134,13 @@ TODO: break this giant source block down into individual org sections.
 #+begin_src emacs-lisp
 (eval-when-compile (defvar lean-mode-map))
 (use-package lean-mode
+  :defer 2
   :bind (:map lean-mode-map
-              ("S-SPC" . company-complete)))
-#+end_src
+              ("S-SPC" . company-complete))
+  :config
+  (require 'lean-input)
+  (setq default-input-method "Lean"))
+  #+end_src
 
 ** Haskell