diff options
Diffstat (limited to 'doom/config.el')
| -rw-r--r-- | doom/config.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doom/config.el b/doom/config.el index 805a820..d38f9e6 100644 --- a/doom/config.el +++ b/doom/config.el @@ -556,6 +556,10 @@ coq-compile-keep-going nil coq-compile-quick 'no-quick) +;; Removes performance problems with opening coq files. +(after! core-editor + (add-to-list 'doom-detect-indentation-excluded-modes 'coq-mode)) + (setq coq-may-use-prettify nil company-coq-prettify-symbols nil) |