From d3e89e8ee15d28fa0c3f42eb059eb7feb748fa6b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Aug 2010 19:15:13 +0000
Subject: Autosend: don't autosend after undoing; add
 proof-shell-last-queuemode to support this.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index cc1bce92..8dbf2d14 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2130,7 +2130,8 @@ up to the end of the locked region."
 			      (funcall proof-find-and-forget-fn target)
 			      delete-region))))
 
-    (proof-start-queue (min start end) (proof-unprocessed-begin) actions)))
+    (proof-start-queue (min start end) (proof-unprocessed-begin) 
+		       actions 'retracting)))
 
 ;; FIXME da:  I would rather that this function moved point to
 ;; the start of the region retracted?
-- 
cgit v1.2.3