diff options
-rw-r--r-- | generic/pg-response.el | 5 | ||||
-rw-r--r-- | generic/proof-utils.el | 5 |
2 files changed, 5 insertions, 5 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 08ad827b..8969301e 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -110,11 +110,6 @@ 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:") diff --git a/generic/proof-utils.el b/generic/proof-utils.el index b211d6d6..bc487e86 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -210,6 +210,11 @@ Leave point at END." ;; Messaging and display functions ;; +(defun proof-safe-split-window-vertically () + (if (<= (window-height) (* 2 window-min-height)) + (enlarge-window (+ 3 (* 2 window-min-height)))) + (message "ICI") + (split-window-vertically)) (defun proof-warn-if-unset (tag sym) "Give a warning (with TAG) if symbol SYM is unbound or nil." |