From 094f4a516bce4f4409f42866d133113f009caf51 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 11:43:51 +0000
Subject: Arrange for activate-scripting to not block for interactive calls.

---
 isa/isa.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 72ea520f..04bb3baf 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -267,7 +267,11 @@ This is a hook function for proof-activate-scripting-hook."
 	;; Wait after sending, so that queue is cleared 
 	;; for further commands without giving "proof process
 	;; busy" error.
-	(isa-update-thy-only buffer-file-name t t)
+	(isa-update-thy-only buffer-file-name t 
+			     ;; whether to block or not
+			     (if (and (boundp 'activated-interactively)
+				      activated-interactively)
+				 nil t))
 	;; Leave the messages from the update around.
 	(setq proof-shell-erase-response-flag nil))))
 
-- 
cgit v1.2.3