From 6f59f23139118fbec70c409d94b79cec36845db9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 16:53:46 +0000
Subject: proof-goto-end-of-locked-if-pos-not-visible-in-window: Check that
 there is active scripting buffer, in Isabelle there might not be.

---
 generic/proof-script.el | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index e5254788..e40696dc 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -588,14 +588,15 @@ Must be an active scripting buffer."
 (defun proof-goto-end-of-locked-if-pos-not-visible-in-window ()
   "If the end of the locked region is not visible, jump to the end of it.
 A possible hook function for proof-shell-handle-error-hook.
-Must be an active script buffer."
+Does nothing if there is no active scripting buffer."
   (interactive)
-  (let* ((pos (save-excursion
-		(set-buffer proof-script-buffer)
-		(proof-locked-end))))
-    (or (pos-visible-in-window-p pos (get-buffer-window
-				      proof-script-buffer t))
-        (proof-goto-end-of-locked-interactive))))
+  (if proof-script-buffer
+      (let* ((pos (save-excursion
+		    (set-buffer proof-script-buffer)
+		    (proof-locked-end))))
+	(or (pos-visible-in-window-p pos (get-buffer-window
+					  proof-script-buffer t))
+	    (proof-goto-end-of-locked-interactive)))))
 
 ;; da: NEW function added 28.10.98.
 ;; This is used by toolbar follow mode (which used to use the function
-- 
cgit v1.2.3