From 44880a9e0486db03afbb462d62ccee67daf8881f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2002 15:14:19 +0000
Subject: windows-of-buffer -> get-buffer-window-list GNU name

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index d1a579af..e023b43e 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -486,7 +486,7 @@ Ensure that point is visible in window."
       ;; two-pane mode even if either one is used to "drive" the
       ;; scripting.
       ;; FIXME: would be better to deduce here which buffer
-      ;; we're displaying, and use windows-of-buffer to do
+      ;; we're displaying, and use get-buffer-window-list to do
       ;; something sensible.
       (if (and 
 	   (not proof-dont-switch-windows)
@@ -500,7 +500,7 @@ Ensure that point is visible in window."
 	      ;; (another hack which is mostly right)
 	      (set-window-buffer 
 	       (next-window 
-		(car-safe (windows-of-buffer proof-script-buffer))
+		(car-safe (get-buffer-window-list proof-script-buffer))
 		'ignoreminibuf) buffer)
 	    (set-window-buffer (selected-window) buffer))
 	(display-buffer buffer))
-- 
cgit v1.2.3