From 31e3fe22190e2cb43449beaf5a59fe1c8a58352b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 23 Apr 2007 08:19:24 +0000
Subject: Adapting last features to fsf emacs.

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

diff --git a/coq/coq.el b/coq/coq.el
index df0ab379..1d75b579 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1573,10 +1573,10 @@ buffer."
 ;;  + have it on by default when in three windows mode.
 (defun optim-resp-windows ()
   (when (and proof-three-window-enable (> (frame-height) 10)
-             (windows-of-buffer proof-response-buffer))
+             (get-buffer-window proof-response-buffer))
     (let ((curwin (selected-window)) 
           (maxhgth (- (window-height) window-min-height)) hgt-resp nline-resp)
-      (select-window (car (windows-of-buffer proof-response-buffer)))
+      (select-window (get-buffer-window proof-response-buffer))
       (setq hgt-resp (window-height))
       (setq nline-resp 
             (min maxhgth (max window-min-height (count-lines (point-max) (point-min)))))
-- 
cgit v1.2.3