blob: 0cdd9dec342fa37620280ff56a0ec0860b8ef015 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
;; 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))
(setq-default default-input-method "TeX")
(defvar use-default-input-method nil)
(make-variable-buffer-local 'use-default-input-method)
(defun activate-default-input-method ()
(interactive)
(if use-default-input-method
(activate-input-method default-input-method)
(inactivate-input-method)))
;; (add-hook 'text-mode-hook #'activate-default-input-method)
;; (add-hook 'mail-mode-hook #'activate-default-input-method)
;; (add-hook 'isearch-mode-hook #'activate-default-input-method)
|
