From 42624c80907c829a1e4873a844aa154997beb77e Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 20 Oct 2019 14:37:35 +0900 Subject: [PATCH] [coq] disable electric proof terminators These send input to coq too agressively. It's often the case that this causes delays in coq. Signed-off-by: Rudi Grinberg --- modules/lang/coq/config.el | 2 -- 1 file changed, 2 deletions(-) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index 713d945a6..9546a0199 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -13,8 +13,6 @@ ;;;###package coq -(setq proof-electric-terminator-enable t) - ;; 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... (setq-hook! 'coq-mode-hook tab-width proof-indent)