Experimenting smarter window creation when in three windows

mode. Strategy is: always try to split an associated buffer window.

1 files changed, 8 insertions, 0 deletions

diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el
index ba987aeb..deb40e56 100644
--- a/generic/pg-assoc.el
+++ b/generic/pg-assoc.el
@@ -38,6 +38,14 @@ Some may be dead/nil."
 	proof-thms-buffer))
 
 
+(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))))
+    ))
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Manipulating prover output