From 35e2869eb2cf86f34152d49bb611e1b6ea941ade Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 31 Aug 2012 11:15:17 +0000
Subject: Resize response window when showing an ancient goal.

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

diff --git a/coq/coq.el b/coq/coq.el
index d00ceb4c..252d8458 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -884,7 +884,8 @@ flag Printing All set."
           (set-buffer proof-response-buffer)
           (let ((inhibit-read-only 'titi))
             (pg-response-display s)
-            (proof-display-and-keep-buffer proof-response-buffer))))
+            (proof-display-and-keep-buffer proof-response-buffer)
+            (coq-optimise-resp-windows))))
     (if withprintingall
         (coq-ask-do-show-all "Show goal number" "Show" t)
       (coq-ask-do "Show goal number" "Show" t))))
-- 
cgit v1.2.3