diff options
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) |