From f220ea8912f37bedf05d3431f4cb6a3beb51688d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 30 Jun 2002 17:41:03 +0000
Subject: When killing process or scripting buffer, register file if it is
 complete, rather than always retracting.

---
 generic/proof-shell.el | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3242a8a6..6dd9602f 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -338,11 +338,9 @@ exited by hand (or exits by itself)."
 	      ;; First, turn off scripting in any active scripting
 	      ;; buffer.  (This helps support persistent sessions with
 	      ;; Isabelle, for example, by making sure that no file is
-	      ;; partly processed when exiting).  Rather than
-	      ;; questioning the user, we behave as killing a script
-	      ;; buffer: forcibly retract a partly processed file and
-	      ;; always succeed.
-	      (proof-deactivate-scripting 'forceretract)
+	      ;; partly processed when exiting, and registering completed
+	      ;; files).  
+	      (proof-deactivate-scripting-auto)
 	      ;; Second, we try to shut down the proof process
 	      ;; politely.  Do this before deleting other buffers,
 	      ;; etc, so that any closing down processing works okay.
-- 
cgit v1.2.3