From 506923fc800808f9b29d3d755854c2bf77d6f64b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 12:07:00 +0000
Subject: proof-associated-windows: rewrite naively to remove proof-list-filter

---
 generic/pg-assoc.el | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el
index f212fbc3..d49ccc9e 100644
--- a/generic/pg-assoc.el
+++ b/generic/pg-assoc.el
@@ -40,11 +40,15 @@ Some may be dead/nil."
 
 (defun proof-associated-windows ()
   "Return a list of the associated buffers windows.  
-dead or nil buffers are not represented in the list."
-  (let ((lwin (mapcar '(lambda (b) (and b (get-buffer-window b))) 
-		     (proof-associated-buffers))))
-    (proof-list-filter lwin '(lambda (x) (not (null x))))
-    ))
+Dead or nil buffers are not represented in the list."
+  (let ((bufs (proof-associated-buffers))
+	buf wins)
+    (while bufs
+      (setq buf (car bufs))
+      (if (and buf (get-buffer-window buf))
+	  (setq wins (cons (get-buffer-window buf) wins)))
+      (setq bufs (cdr bufs)))
+    wins))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3