From 7dc801a35f08f39d0a00b4a7fda78e4e41b4036f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Aug 2012 12:41:07 +0000
Subject: coq-optimise-resp-windows: Check proof script buffer window exists,
 addressing Trac #446

---
 coq/coq.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 84be69dc..f65dd79f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2590,7 +2590,7 @@ number of hypothesis displayed, without hiding the goal"
 
 
 
-;; This hook must be added before optim-resp-window, in order to be evaluated
+;; This hook must be added before coq-optimise-resp-windows, in order to be evaluated
 ;; *after* windows resizing.
 (add-hook 'proof-shell-handle-delayed-output-hook
 	  'coq-show-first-goal)
@@ -2617,7 +2617,8 @@ number of hypothesis displayed, without hiding the goal"
 Only when three-buffer-mode is enabled."
   (when (and proof-three-window-enable
              (> (frame-height) 10)
-             (get-buffer-window proof-response-buffer))
+             (get-buffer-window proof-response-buffer)
+             (and proof-script-buffer (get-buffer-window proof-script-buffer)))
     (let (;; maxhgth is the max height of both resp and goals buffers to avoid
           ;; make the other disappear
           (maxhgth (with-selected-window (get-buffer-window proof-script-buffer)
-- 
cgit v1.2.3