From d9f819dac4ec4e8d0b707717dd734098e569d838 Mon Sep 17 00:00:00 2001 From: Patrick Elliott Date: Mon, 27 Aug 2018 12:57:07 +0200 Subject: [PATCH] Only make company features conditional --- modules/lang/coq/autoload.el | 1 - modules/lang/coq/config.el | 5 +++++ modules/lang/coq/packages.el | 3 +-- 3 files changed, 6 insertions(+), 3 deletions(-) create mode 100644 modules/lang/coq/config.el diff --git a/modules/lang/coq/autoload.el b/modules/lang/coq/autoload.el index 390a3f94f..624185018 100644 --- a/modules/lang/coq/autoload.el +++ b/modules/lang/coq/autoload.el @@ -1,5 +1,4 @@ ;;; lang/coq/autoload.el -*- lexical-binding: t; -*- -;;;###if (featurep! :completion company) ;;;###autoload (add-hook 'coq-mode-hook #'company-coq-mode) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el new file mode 100644 index 000000000..eeb919779 --- /dev/null +++ b/modules/lang/coq/config.el @@ -0,0 +1,5 @@ +;;; lang/coq/config.el -*- lexical-binding: t; -*- + +(after! company-coq + (when (not (featurep! :completion company)) + (setq company-coq-disabled-features '(company company-defaults)))) diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el index 69d5299b5..3ae652118 100644 --- a/modules/lang/coq/packages.el +++ b/modules/lang/coq/packages.el @@ -3,5 +3,4 @@ (package! proof-general :recipe (:fetcher github :repo "ProofGeneral/PG" :files ("*"))) -(when (featurep! :completion company) - (package! company-coq)) +(package! company-coq)