diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-response.el | 9 | ||||
| -rw-r--r-- | generic/proof-utils.el | 2 |
2 files changed, 8 insertions, 3 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 1e022fdb..08ad827b 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -110,16 +110,21 @@ Internal variable, setting this will have no effect!") (defun proof-three-window-enable () (proof-layout-windows)) +(defun proof-safe-split-window-vertically () + (if (<= (window-height) (* 2 window-min-height)) + (enlarge-window (+ 3 (* 2 window-min-height)))) + (split-window-vertically)) + (defun proof-select-three-b (b1 b2 b3 &optional nohorizontalsplit) "Select three buffers. Put them into three windows, selecting the last one." (interactive "bBuffer1:\nbBuffer2:\nbBuffer3:") (delete-other-windows) (if nohorizontalsplit - (split-window-vertically) + (proof-safe-split-window-vertically) (split-window-horizontally)) (switch-to-buffer b1) (other-window 1) - (split-window-vertically) + (proof-safe-split-window-vertically) (switch-to-buffer b2) (other-window 1) (switch-to-buffer b3) 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) |