From 6da866a789b7cd5b113d465c08714bce9d560065 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 25 Aug 2010 10:16:19 +0000 Subject: Fixed my last commit where compilation was broken. (function put at the wrong place). --- generic/proof-utils.el | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'generic/proof-utils.el') 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." -- cgit v1.2.3