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/pg-vars.el | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'generic/pg-vars.el')

diff --git a/generic/pg-vars.el b/generic/pg-vars.el
index 1bf31ffa..e86fde61 100644
--- a/generic/pg-vars.el
+++ b/generic/pg-vars.el
@@ -83,7 +83,15 @@ has been set.")
 (defvar proof-shell-busy nil
   "A lock indicating that the proof shell is processing.
 When this is non-nil, `proof-shell-ready-prover' will give
-an error.")
+an error.
+
+When processing commands from a buffer for script management,
+this will be set to either 'advancing or 'retracting to indicate
+the direction of movement.")
+
+(defvar proof-shell-last-queuemode nil
+  "Flag indicating last direction of proof queue.
+This is actually the last non-nil value of `proof-shell-busy'.")
 
 (defvar proof-included-files-list nil
   "List of files currently included in proof process.
-- 
cgit v1.2.3