-
Notifications
You must be signed in to change notification settings - Fork 4.9k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Guard idris company setup on the auto-completion layer
- Loading branch information
1 parent
247d7cc
commit f2f23e6
Showing
1 changed file
with
3 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
f2f23e6
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@StreakyCobra In this particular case where only company package is "augmented" the guard is redundant,
idris/post-init-company
won't be executed if there is noxxx/init-company
function (i.e. the layer auto-completion is not used).The guard is needed only for new package like
idris-company
because we don't want to install the package if the auto-completion layer is not used (a package is not installed if noinit-<package>
functions is declared, which is the case when the guard evaluates to false).I took the habit to also put the
post-init-company
in the guard when there is one due to another company package (likeidris-company
), but if there is onlypost-init-company
I don't add it.Hum I hope I was clear enough :-)
f2f23e6
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@syl20bnr Yes I understand what you mean. I did the same as in the
python
layer. Except that I missed that the(when …
included another function than thepost-init-company
😅 https://github.com/syl20bnr/spacemacs/blob/develop/layers/+lang/python/packages.el#L74-L79I'll correct this right away :-)
f2f23e6
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Done 0aafaec