gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

spacemacs: fix for evil goto-definition

Browse Source
This commit is contained in:
Gabriel Ebner 2017-08-30 20:36:13 +02:00
parent f833bc4e21
commit 9e9b4b9f5c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
spacemacs
View File

@ -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)