diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-10 21:20:07 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-10 21:20:07 -0500 |
| commit | e44b9b7eb100a3d5c1640b7df7d4c458f81998ab (patch) | |
| tree | 09a9b452be0a454457739052894eec910c48994f | |
| parent | 53b0be6b6b56c13b3a61a5d8ecbd223c61c10b4f (diff) | |
| download | configs-e44b9b7eb100a3d5c1640b7df7d4c458f81998ab.tar.gz configs-e44b9b7eb100a3d5c1640b7df7d4c458f81998ab.tar.xz configs-e44b9b7eb100a3d5c1640b7df7d4c458f81998ab.zip | |
[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
Diffstat (limited to '')
| -rw-r--r-- | init.org | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -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 |