From 78bb2e2ae54d9e1b711212af1bda34e4eb0624bb Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 17 Nov 2019 00:34:15 +0900 Subject: [PATCH] diable the hello feature of company-coq --- modules/lang/coq/config.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index ef7ef196f..2383e8be7 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -75,10 +75,11 @@ :documentation #'company-coq-doc) (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 ;; 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 (map! :map coq-mode-map [remap company-complete-common] #'company-indent-or-complete-common))