From 082f476c2277e489bc2d190756977b28fe129245 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Fri, 2 Feb 2024 03:32:36 -0500 Subject: [PATCH] fix(coq): inhibit indent detection Indent detection (via dtrt-indent) is slow and inconclusive in coq-mode files. Since it's rarely helpful for them anyway, I inhibit it. Fix: #5823 --- modules/lang/coq/config.el | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index 18b2b0147..8427e2cf8 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -13,6 +13,10 @@ ;; sane `comment-line-break-function', so... comment-line-break-function nil) +;; HACK: See #5823: indent detection is slow and inconclusive in coq-mode files, +;; and rarely helpful anyway, so I inhibit it. +(add-to-list 'doom-detect-indentation-excluded-modes 'coq-mode) + ;; We've replaced coq-mode abbrevs with yasnippet snippets (in the snippets ;; library included with Doom). (setq coq-mode-abbrev-table '())