diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2010-08-25 10:16:19 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2010-08-25 10:16:19 +0000 |
commit | 6da866a789b7cd5b113d465c08714bce9d560065 (patch) | |
tree | a9448743362d5136728e39de73d17ec3333c024d /generic/proof-utils.el | |
parent | f294af004f1dbcdf3a42efe3caade7fd6a53ef9e (diff) |
Fixed my last commit where compilation was broken. (function put at
the wrong place).
Diffstat (limited to 'generic/proof-utils.el')
-rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 5 insertions, 0 deletions
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." |