From a4e9d85db4e1dccce3cf161487f1a47626a5b02c Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 17 Nov 2019 01:22:12 +0900 Subject: [PATCH] invert (if (not ..)) statement --- modules/lang/coq/config.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index 757c376a6..86cd6ee0b 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -76,13 +76,13 @@ (setq company-coq-disabled-features '(hello company-defaults)) - (if (not (featurep! :completion company)) - (add-to-list 'company-coq-disabled-features 'company) + (if (featurep! :completion company) + (map! :map coq-mode-map [remap company-complete-common] + #'company-indent-or-complete-common) ;; `company-coq''s company defaults impose idle-completion on folks, so ;; we'll set up company ourselves. ;; See https://github.com/cpitclaudel/company-coq/issues/42 - (map! :map coq-mode-map [remap company-complete-common] - #'company-indent-or-complete-common)) + (add-to-list 'company-coq-disabled-features 'company)) (map! :map coq-mode-map :localleader