diff options
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) |