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-shell.el | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 7b4c30ec..1978927f 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -176,15 +176,14 @@ No error messages.  Useful as menu or toolbar enabler."
 Runs `proof-state-change-hook' to notify state change.
 If QUEUEMODE is supplied, set the lock to that value."
   (proof-shell-ready-prover queuemode)
-  (setq proof-shell-interrupt-pending nil)
-  (setq proof-shell-busy (or queuemode t))
+  (setq proof-shell-interrupt-pending nil
+	proof-shell-busy (or queuemode t)
+	proof-shell-last-queuemode proof-shell-busy)
   (run-hooks 'proof-state-change-hook))
 
 (defun proof-release-lock ()
   "Release the proof shell lock.  Clear `proof-shell-busy'."
-  (setq proof-shell-busy nil)
-  ;; PG4.0: TODO: alter modeline indicator
-  )
+  (setq proof-shell-busy nil))
 
 
 
@@ -489,6 +488,7 @@ shell buffer, alled by `proof-shell-bail-out' if process exits."
   (setq proof-action-list nil
 	proof-included-files-list nil
 	proof-shell-busy nil
+	proof-shell-last-queuemode nil
 	proof-shell-proof-completed nil
 	proof-nesting-depth 0
 	proof-shell-silent nil
@@ -957,7 +957,7 @@ being processed."
 
 
 ;;;###autoload
-(defun proof-start-queue (start end queueitems)
+(defun proof-start-queue (start end queueitems &optional queuemode)
   "Begin processing a queue of commands in QUEUEITEMS.
 If START is non-nil, START and END are buffer positions in the
 active scripting buffer for the queue region.
@@ -965,7 +965,7 @@ active scripting buffer for the queue region.
 This function calls `proof-add-to-queue'."
   (if start
       (proof-set-queue-endpoints start end))
-  (proof-add-to-queue queueitems))
+  (proof-add-to-queue queueitems queuemode))
 
 ;;;###autoload
 (defun proof-extend-queue (end queueitems)
-- 
cgit v1.2.3