From 46f1aac56ac61e8b76e4ce6a57ff36806582a8b4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 26 Apr 2004 14:40:57 +0000
Subject: Allow proof-goto-end-of-locked to work again if no active scripting
 buffer.

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index efe17747..86e44346 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -447,8 +447,11 @@ If non-nil, point is left where it was."
 If interactive or SWITCH is non-nil, switch to script buffer first."
   (interactive)
   (proof-with-script-buffer
-   (if (and (not (get-buffer-window proof-script-buffer))
+   (if ;; there is an active scripting buffer and it's not displayed
+       (and proof-script-buffer
+	    (not (get-buffer-window proof-script-buffer))
 	    (or switch (interactive-p)))
+       ;; display it
        (switch-to-buffer proof-script-buffer)
      (goto-char (proof-unprocessed-begin)))))
 
-- 
cgit v1.2.3