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

diable the hello feature of company-coq

Browse source
This commit is contained in:
Rudi Grinberg 2019-11-17 00:34:15 +09:00
parent 5738e39fea
commit 78bb2e2ae5
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -75,10 +75,11 @@
:documentation #'company-coq-doc) :documentation #'company-coq-doc)
(if (not (featurep! :completion company)) (if (not (featurep! :completion company))
(setq company-coq-disabled-features '(company company-defaults)) (setq company-coq-disabled-features '(hello company company-defaults))
;; `company-coq''s company defaults impose idle-completion on folks, so ;; `company-coq''s company defaults impose idle-completion on folks, so
;; we'll set up company ourselves. ;; we'll set up company ourselves.
(add-to-list 'company-coq-disabled-features 'company-defaults) (add-to-list 'company-coq-disabled-features 'company-defaults)
(add-to-list 'company-coq-disabled-features 'hello)
;; See https://github.com/cpitclaudel/company-coq/issues/42 ;; See https://github.com/cpitclaudel/company-coq/issues/42
(map! :map coq-mode-map [remap company-complete-common] (map! :map coq-mode-map [remap company-complete-common]
#'company-indent-or-complete-common)) #'company-indent-or-complete-common))