From 9e9b4b9f5cf8b52fb129cc16d0ba28daedd1b312 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Wed, 30 Aug 2017 20:36:13 +0200 Subject: [PATCH] spacemacs: fix for evil goto-definition --- spacemacs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/spacemacs b/spacemacs index 2aee295..6b075c9 100644 --- a/spacemacs +++ b/spacemacs @@ -221,6 +221,9 @@ you should place your code here." (when (file-exists-p twelf-root) (load-file (concat twelf-root "emacs/twelf-init.el"))) + (setq spacemacs-default-jump-handlers + (remove 'evil-goto-definition spacemacs-default-jump-handlers)) + (setq lean-rootdir "/home/gebner/lean") (setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips (when (file-exists-p lean-rootdir)