diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2010-08-25 09:51:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2010-08-25 09:51:16 +0000 |
| commit | f294af004f1dbcdf3a42efe3caade7fd6a53ef9e (patch) | |
| tree | a56d0bb83c41d2f7b5b8ea597c15b359b39259e1 /generic/proof-utils.el | |
| parent | d8dcc5a9a4e4c8bf55b697f8a9a1f85fe1240356 (diff) | |
Fixed the bug of vertical window splitting when the size of the window
is too small. However if the frame is too small the bug remains (but
it is much less probable).
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |