From f294af004f1dbcdf3a42efe3caade7fd6a53ef9e Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 25 Aug 2010 09:51:16 +0000
Subject: Fixed the bug of vertical window splitting when the size of the
 window is too small. However if the frame is too small the bug remains (but
 it is much less probable).

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index a20106b0..b211d6d6 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -258,7 +258,7 @@ NB: may change the selected window."
 	      (if (not (and proof-three-window-enable associated-windows))
 		  (display-buffer buffer)
 		(select-window (car associated-windows)) ; take on assoc. win
-		(split-window-vertically)
+		(proof-safe-split-window-vertically)
 		(set-window-dedicated-p (selected-window) nil)
 		(switch-to-buffer buffer)
 		(set-window-dedicated-p (selected-window) t)
-- 
cgit v1.2.3