awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-01 12:17:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

invert (if (not ..)) statement

Browse Source
This commit is contained in:
Rudi Grinberg
2019-11-17 01:22:12 +09:00
parent c4fad17c29
commit a4e9d85db4
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
modules/lang/coq/config.el
View File

@ -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