blob: a310b57803f0a719c038ac0a5fdf23ad99913e82 (
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: <2020-04-06 13:46:34 (tslil@bison)>
(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)
(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)
|
