diff options
Diffstat (limited to 'doom/config.el')
| -rw-r--r-- | doom/config.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doom/config.el b/doom/config.el index 47b4b97..822556b 100644 --- a/doom/config.el +++ b/doom/config.el @@ -565,6 +565,9 @@ coq-compile-keep-going nil coq-compile-quick 'no-quick) +(after! company-mode + (setq company-global-modes (append company-global-modes '(org-mode)))) + ;; Removes performance problems with opening coq files. (after! core-editor (add-to-list 'doom-detect-indentation-excluded-modes 'coq-mode)) |