emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

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
parent 82b6bd3159
commit d03ac051bf
No known key found for this signature in database
GPG key ID: B60957CA074D39A3
1 changed files with 4 additions and 0 deletions
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 '())