yogsototh/doom-emacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

fix(coq): inhibit indent detection

Browse source 
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
This commit is contained in:
Henrik Lissner 2024-02-02 03:32:36 -05:00 committed by Yann Esposito (Yogsototh)
parent 50fc35a934
commit 082f476c22
Signed by untrusted user who does not match committer: yogsototh
GPG key ID: 7B19A4C650D59646
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/lang/coq/config.el
View file

@ -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 '())