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

Guard idris company setup on the auto-completion layer

Browse source
This commit is contained in:
Fabien Dubosson 2016-04-11 10:57:15 +02:00
parent 247d7cc5bd
commit f2f23e6aa1
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
layers/+lang/idris/packages.el
View file

@ -13,8 +13,9 @@
company
popwin))
(defun idris/post-init-company ()
(spacemacs|add-company-hook idris-mode))
(when (configuration-layer/layer-usedp 'auto-completion)
(defun idris/post-init-company ()
(spacemacs|add-company-hook idris-mode)))
(defun idris/init-idris-mode ()
(use-package idris-mode