From 14b8d0e24ef48032885018b4020969593477ee26 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 12 Oct 2015 20:49:05 +0200
Subject: proof-assert-command-hook added + Auto adjust width in coq mode.

This hook was missing, it allows to send complete commands before
the (set of) command(s) sent by the user. It shall be used when
proof-shell-insert-hook cannot be used (because of multiple prompts
appearing).
---
 generic/proof-script.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index fbd8c2b1..338318e7 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1912,6 +1912,7 @@ Assumes that point is at the end of a command."
 	(setq semis (cdr semis)))
     (if (null semis) ; maybe inside a string or something.
 	(error "I can't find any complete commands to process!"))
+    (run-hooks 'proof-assert-command-hook) ;; sneak commands (real ones with a prompt)
     (proof-assert-semis semis displayflags)))
 
 (defun proof-assert-electric-terminator ()
-- 
cgit v1.2.3