Attempt to improve window shrinking. Still needs work.

1 files changed, 8 insertions, 3 deletions

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 62db762d..d76c4f1f 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -587,8 +587,9 @@ or if the window is the only window of its frame."
 	  (mini  (frame-property (window-frame window) 'minibuffer))
 	  ;; Direction of resizing based on whether max position is visible.
 	  (expand (not (pos-visible-in-window-p test-pos window)))
-	  ;; Most window is allowed to grow (or shrink)
-	  (max-height  (/ (frame-height (window-frame window)) 2)))
+	  ;; Most window is allowed to grow to
+	  (max-height  (/ (frame-height (window-frame window)) 
+			  (if proof-three-window-mode 3 2))))
       (if (and (< 1 (let ((frame (selected-frame)))
 		      (select-frame (window-frame window))
 		      (unwind-protect
@@ -612,12 +613,16 @@ or if the window is the only window of its frame."
 			  (< n max-height))
 		(shrink-window (if expand -1 1) nil window)
 		(setq n (1+ n))))
-	    (if (and (> n 0) (not expand))
+	    (if (and (not expand) 
+		     ;; attempt to get some stability: only shrink if
+		     ;; we're more than two lines too big.
+		     (> n 2))
 		(shrink-window (min (1- n)
 				    (- (window-height window)
 				       (1+ window-min-height)))
 			       nil
 			       window)
+	      ;; Always expand the window if necessary.
 	      (shrink-window (- n))))))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;