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

[coq] disable electric proof terminators

Browse source 
These send input to coq too agressively. It's often the case that this
causes delays in coq.

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2019-10-20 14:37:35 +09:00
parent f9280bcec3
commit 42624c8090
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -13,8 +13,6 @@
;;;###package coq ;;;###package coq
(setq proof-electric-terminator-enable t)
;; Doom syncs other indent variables with `tab-width'; we are trusting major ;; Doom syncs other indent variables with `tab-width'; we are trusting major
;; modes to set it -- which most of them do -- but coq-mode doesn't, so... ;; modes to set it -- which most of them do -- but coq-mode doesn't, so...
(setq-hook! 'coq-mode-hook tab-width proof-indent) (setq-hook! 'coq-mode-hook tab-width proof-indent)