diff options
| -rw-r--r-- | generic/proof-menu.el | 7 |
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))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |