fix(coq): disable spinner by default
This was disabled upstream in
7423ee2539
due to a serious performance impact on some systems (even if the spinner
isn't visible in the modeline).
This commit is contained in:
parent
f19a7483d2
commit
80b2071670
1 changed files with 1 additions and 1 deletions
|
@ -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]
|
||||
|
|
Loading…
Reference in a new issue