From c4fad17c2914362fc0de576bcd4589a521dbe0d7 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 17 Nov 2019 01:21:11 +0900 Subject: [PATCH] Remove company-coq's hello page --- modules/lang/coq/config.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index 2383e8be7..757c376a6 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -74,12 +74,12 @@ :references #'company-coq-grep-symbol :documentation #'company-coq-doc) + (setq company-coq-disabled-features '(hello company-defaults)) + (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 ;; 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))