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

Remove company-coq's hello page

Browse source
This commit is contained in:
Rudi Grinberg 2019-11-17 01:21:11 +09:00
parent 78bb2e2ae5
commit c4fad17c29
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -74,12 +74,12 @@
:references #'company-coq-grep-symbol :references #'company-coq-grep-symbol
:documentation #'company-coq-doc) :documentation #'company-coq-doc)
(setq company-coq-disabled-features '(hello company-defaults))
(if (not (featurep! :completion company)) (if (not (featurep! :completion company))
(setq company-coq-disabled-features '(hello company company-defaults)) (add-to-list 'company-coq-disabled-features 'company)
;; `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 '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))