From c619d288ed8fb9936016875f4b1fb2d43a782716 Mon Sep 17 00:00:00 2001 From: Rachel Lambda Samuelsson Date: Tue, 25 Jul 2023 11:32:36 +0200 Subject: [PATCH] remove unused binds --- binds.el | 54 ------------------------------------------------------ 1 file changed, 54 deletions(-) diff --git a/binds.el b/binds.el index e6e43ac..74a8d00 100644 --- a/binds.el +++ b/binds.el @@ -79,57 +79,3 @@ (define-key org-mode-map (kbd "C-k") nil) (define-key org-mode-map (kbd "C-l") nil) (define-key org-mode-map (kbd "C-d") nil) - -(require 'cc-mode) -(define-key java-mode-map (kbd "C-d") nil) - -;;;;;;;;;;;;;;;;;;;;;;; -;;;; Mode specific ;;;; -;;;;;;;;;;;;;;;;;;;;;;; - -;; Elisp mode -(add-hook 'emacs-lisp-mode-hook - (lambda () (local-set-key (kbd "C-c C-l") 'eval-buffer))) - -;; Agda mode -(evil-leader/set-leader "\\") -(add-hook - 'agda2-mode-hook - (lambda () - (eval-after-load 'evil-maps - '(evil-leader/set-key - "a" 'agda2-auto-maybe-all - "b" 'agda2-previous-goal - "c" 'agda2-make-case - "d" 'agda2-infer-type-maybe-toplevel - "e" 'agda2-show-context - "f" 'agda2-next-goal - "h" 'agda2-helper-function-type - "l" 'agda2-load - "h" 'agda2-helper-function-type - "n" 'agda2-compute-normalised-maybe-toplevel - "o" 'agda2-module-contents-maybe-toplevel - "r" 'agda2-refine - "s" 'agda2-solve-maybe-all - "t" 'agda2-goal-type - "t" 'agda2-goal-type - "w" 'agda2-why-in-scope-maybe-toplevel - "z" 'agda2-search-about-toplevel - "" 'agda2-give - "g" 'agda2-show-goals - "," 'agda2-goal-and-context - "." 'agda2-goal-and-context-and-inferred - ";" 'agda2-goal-and-context-and-checked - "=" 'agda2-show-constraints - "Gb" 'agda2-go-back - "Gd" 'agda2-goto-definition-keyboard - "xa" 'agda2-abort - "xc" 'agda2-compile - "xd" 'agda2-remove-annotations - "xh" 'agda2-display-implicit-arguments - "xt" 'agda2-display-irrelevant-arguments - "xl" 'agda2-load - "xq" 'agda2-quit - "xr" 'agda2-restart - "xs" 'agda2-set-program-version - "x-" 'agda2-comment-dwim-rest-of-buffer))))