From 552108abaa8c1ffb78319398e10b058485f57a31 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 27 Apr 2007 08:39:59 +0000 Subject: Experimenting smarter window creation when in three windows mode. Strategy is: always try to split an associated buffer window. --- generic/pg-assoc.el | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'generic/pg-assoc.el') 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 -- cgit v1.2.3