From 87ee0168ba6f365cd99996386690d63009665178 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 15:03:37 +0000
Subject: Added more comments to proof-activate-scripting

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index f7b6628b..4447f368 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -372,11 +372,14 @@ the hooks `proof-activate-scripting-hook' are run."
 	  ;; Turn off Scripting in the old buffer.
 	  (setq proof-active-buffer-fake-minor-mode nil)))
 
-    ;; is this a fresh script mode buffer, with no locked region?
+    ;; does the new scripting buffer already have a locked region?
     (if (member (current-buffer) proof-script-buffer-list)
+	;; If so, it must be moved to the head of the list
 	(setq proof-script-buffer-list
 	      (remove (current-buffer) proof-script-buffer-list))
+      ;; If not, initialise the spans.
       (proof-init-segmentation))
+
     (setq proof-script-buffer-list
 	  (cons (current-buffer) proof-script-buffer-list))
 
-- 
cgit v1.2.3