From ed836738a16efb7721b72f6aa58f07541fd37393 Mon Sep 17 00:00:00 2001 From: tslil clingman <> Date: Sat, 13 Jul 2024 15:07:01 +0200 Subject: [emacs] cleanup --- emacs/inits/04-input_method.el | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 emacs/inits/04-input_method.el (limited to 'emacs/inits/04-input_method.el') diff --git a/emacs/inits/04-input_method.el b/emacs/inits/04-input_method.el deleted file mode 100644 index 0cdd9de..0000000 --- a/emacs/inits/04-input_method.el +++ /dev/null @@ -1,29 +0,0 @@ -;; 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) -- cgit v1.2.3