summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-11-10 21:20:07 -0500
committerAmin Bandali <bandali@gnu.org>2018-11-10 21:20:07 -0500
commite44b9b7eb100a3d5c1640b7df7d4c458f81998ab (patch)
tree09a9b452be0a454457739052894eec910c48994f
parent53b0be6b6b56c13b3a61a5d8ecbd223c61c10b4f (diff)
downloadconfigs-e44b9b7eb100a3d5c1640b7df7d4c458f81998ab.tar.gz
configs-e44b9b7eb100a3d5c1640b7df7d4c458f81998ab.tar.xz
configs-e44b9b7eb100a3d5c1640b7df7d4c458f81998ab.zip
[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
-rw-r--r--init.org7
1 files changed, 6 insertions, 1 deletions
diff --git a/init.org b/init.org
index e30ed14..289b22b 100644
--- a/init.org
+++ b/init.org
@@ -1160,7 +1160,12 @@ TODO: break this giant source block down into individual org sections.
("S-SPC" . company-complete))
:config
(require 'lean-input)
- (setq default-input-method "Lean"))
+ (setq default-input-method "Lean"
+ lean-input-tweak-all '(lean-input-compose
+ (lean-input-prepend "/")
+ (lean-input-nonempty))
+ lean-input-user-translations '(("/" "/")))
+ (lean-input-setup))
#+end_src
** Haskell