TakeV/spacemacs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

agda-mode: Translate goal-navigation micro-state

Browse source
This commit is contained in:
justbur 2016-01-14 16:17:16 -05:00 committed by syl20bnr
parent d2c4b2b78e
commit f19e54e06e
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
layers/+lang/agda/packages.el
View file

@ -37,16 +37,15 @@
(agda2-highlight-record-face . font-lock-type-face)))
:config
(progn
(spacemacs|define-micro-state goal-navigation
:doc "[f] next [b] previous [q]uit"
:execute-binding-on-enter t
:evil-leader-for-mode
(agda2-mode . "mf")
(agda2-mode . "mb")
(spacemacs|define-micro-state-2 goal-navigation
:doc "\n[_f_] next [_b_] previous [_q_] quit"
:bindings
("f" agda2-next-goal)
("b" agda2-previous-goal)
("q" nil :exit t))
(spacemacs/set-leader-keys-for-major-mode 'agda2-mode
"f" 'spacemacs/goal-navigation-micro-state/agda2-next-goal
"b" 'spacemacs/goal-navigation-micro-state/agda2-previous-goal)
(spacemacs/set-leader-keys-for-major-mode 'agda2-mode
"?" 'agda2-show-goals