Prevent error msg in proof-display-some-buffers if response dead.

1 files changed, 5 insertions, 2 deletions

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)))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;