From d50890514cdf43f9f8f6236143eda8adf10c6e45 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Jul 2001 09:17:12 +0000
Subject: Prevent error msg in proof-display-some-buffers if response dead.

---
 generic/proof-menu.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index f8e8ff7b..94945889 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -31,11 +31,14 @@ If in three window or multiple frame mode, display both buffers."
 	 (get-buffer-window proof-response-buffer 'visible))
     ;; Response buffer visible, let's display goals
     (proof-switch-to-buffer proof-goals-buffer 'noselect))
-   (t
+   ((buffer-live-p proof-response-buffer)
     ;; Response buffer invisible, let's display it
     (proof-switch-to-buffer proof-response-buffer 'noselect)
     (set-window-point (get-buffer-window proof-response-buffer)
-		      (point-max)))))
+		      (point-max)))
+   (t
+    ;; No buffers existing, do nothing (might crank up process)
+    nil)))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3