From f19e54e06e0707c5b08c7677460b441f50c9f28d Mon Sep 17 00:00:00 2001 From: justbur Date: Thu, 14 Jan 2016 16:17:16 -0500 Subject: [PATCH] agda-mode: Translate goal-navigation micro-state --- layers/+lang/agda/packages.el | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/layers/+lang/agda/packages.el b/layers/+lang/agda/packages.el index 888e21398..203d93b24 100644 --- a/layers/+lang/agda/packages.el +++ b/layers/+lang/agda/packages.el @@ -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