rachel/emacs.d
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove unused binds

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2023-07-25 11:32:36 +02:00
parent b97a34fdc1
commit c619d288ed
1 changed files with 0 additions and 54 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
binds.el
View File

@ -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
"<SPC>" '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))))