;; 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)