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