emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Change ref function

Browse source
This commit is contained in:
Patrick Elliott 2018-08-27 14:11:14 +02:00
parent 5492315053
commit f6e9b943fd
No known key found for this signature in database
GPG key ID: 7CA109C3974AF5FA
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
modules/lang/coq/config.el
View file

@ -3,7 +3,7 @@
(after! company-coq (after! company-coq
(set-lookup-handlers! 'company-coq-mode (set-lookup-handlers! 'company-coq-mode
:definition #'company-coq-jump-to-definition :definition #'company-coq-jump-to-definition
:references #'company-coq-occur :references #'company-coq-grep-symbol
:documentation #'company-coq-doc) :documentation #'company-coq-doc)
(when (not (featurep! :completion company)) (when (not (featurep! :completion company))
(setq company-coq-disabled-features '(company company-defaults)))) (setq company-coq-disabled-features '(company company-defaults))))