diff options
| author | Pierre Courtieu | 2010-08-25 10:16:19 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2010-08-25 10:16:19 +0000 |
| commit | 6da866a789b7cd5b113d465c08714bce9d560065 (patch) | |
| tree | a9448743362d5136728e39de73d17ec3333c024d | |
| parent | f294af004f1dbcdf3a42efe3caade7fd6a53ef9e (diff) | |
Fixed my last commit where compilation was broken. (function put at
the wrong place).
| -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." |