diff options
| author | tslil clingman <> | 2021-09-27 08:53:17 -0400 |
|---|---|---|
| committer | tslil clingman <> | 2021-09-27 08:53:17 -0400 |
| commit | fa49aa2b985398b3da4379efc46198ba6497bdfc (patch) | |
| tree | 28997c5d3947394cc66ad3a1a131c44f975256cf /emacs/inits/04-input_method.el | |
| parent | c69f17c5d36fa7a4a95701f915c727b076981f2f (diff) | |
Fixed tabs!
Diffstat (limited to 'emacs/inits/04-input_method.el')
| -rw-r--r-- | emacs/inits/04-input_method.el | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/emacs/inits/04-input_method.el b/emacs/inits/04-input_method.el index a310b57..0cdd9de 100644 --- a/emacs/inits/04-input_method.el +++ b/emacs/inits/04-input_method.el @@ -1,20 +1,20 @@ -;; Time-stamp: <2020-04-06 13:46:34 (tslil@bison)> +;; Time-stamp: <2021-09-27 08h47 EDT (hobbies)> -(use-package agda-input - :load-path "~/.emacs.d/scripts/" - :config - (dolist (sym '(("chimney" "╝") - ("==>" "⟹") - ("amalg" "⨿") - ("bG" "𝔾") - ("bB" "𝔹") - ("bU" "𝕌"))) - (add-to-list 'agda-input-user-translations sym)) - (agda-input-setup)) +;;(use-package agda-input +;; :load-path "~/.emacs.d/scripts/" +;; :config +;; (dolist (sym '(("chimney" "╝") +;; ("==>" "⟹") +;; ("amalg" "⨿") +;; ("bG" "𝔾") +;; ("bB" "𝔹") +;; ("bU" "𝕌"))) +;; (add-to-list 'agda-input-user-translations sym)) +;; (agda-input-setup)) (setq-default default-input-method "TeX") -(defvar use-default-input-method t) +(defvar use-default-input-method nil) (make-variable-buffer-local 'use-default-input-method) |