From 80b20716709487645299e55cafc740f36558eead Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Tue, 24 Aug 2021 08:43:05 -0400 Subject: [PATCH] fix(coq): disable spinner by default This was disabled upstream in https://github.com/cpitclaudel/company-coq/commit/7423ee253951a439b2491e1cd2ea8bb876d25cb7 due to a serious performance impact on some systems (even if the spinner isn't visible in the modeline). --- modules/lang/coq/config.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index 2b66cb6e1..80700aa36 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -69,7 +69,7 @@ :references #'company-coq-grep-symbol :documentation #'company-coq-doc) - (setq company-coq-disabled-features '(hello company-defaults)) + (setq company-coq-disabled-features '(hello company-defaults spinner)) (if (featurep! :completion company) (define-key coq-mode-map [remap company-complete-common]