company-coq is overriding my `company-idle-delay` setting

[rgrinberg]

In my config, I have the following set: (setq company-idle-delay nil). This means that I only want completion suggestions when I request for them explicitly. It seems like company-coq is overriding this option somehow.

[cpitclaudel]

Indeed, that's done by this feature:

(company-coq-define-feature company-defaults (arg)
  "Convenient defaults for `company-mode'.
Tweaks company-mode settings for smoother use with Coq."
  (company-coq-do-in-coq-buffers
    (pcase arg
      (`on
       (setq-local company-idle-delay 0.01)
       (setq-local company-tooltip-align-annotations t)
       (setq-local company-abort-manual-when-too-short t)
       ;; See https://github.com/cpitclaudel/company-coq/issues/42
       (unless (command-remapping #'company-complete-common nil company-active-map)
         (define-key company-active-map [remap company-complete-common]
           #'company-coq-features/company-defaults--indent-or-complete-common)))
      (`off
       (kill-local-variable 'company-idle-delay)
       (kill-local-variable 'company-tooltip-align-annotations)
       (kill-local-variable 'company-abort-manual-when-too-short)
       (when (eq (command-remapping #'company-complete-common nil company-active-map)
                 #'company-coq-features/company-defaults--indent-or-complete-common)
         (define-key company-active-map [remap company-complete-common] nil))))))

You can disable it by customizing company-coq-disabled-features.