From efb54b9098d665fd58e99c42f53afd7e49a36c70 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 13 Oct 2015 15:21:41 +0200
Subject: proof-retract-command-hook added + more auto adjust width in coq
 mode.

---
 generic/proof-script.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 338318e7..e65d2fc9 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2238,7 +2238,9 @@ query saves here."
 	  (backward-char)
 	  (setq span (span-at (point) 'type)))
 	(if span
-	    (proof-retract-target span undo-action displayflags)
+	    (progn
+	      (run-hooks 'proof-retract-command-hook) ;; sneak commands (real ones with a prompt)
+	      (proof-retract-target span undo-action displayflags))
 	  ;; something wrong
 	  (proof-debug
 	   "proof-retract-until-point: couldn't find a span!"))))))
-- 
cgit v1.2.3