diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-response.el | 2 | ||||
| -rw-r--r-- | generic/proof-utils.el | 14 |
2 files changed, 2 insertions, 14 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 561436b0..40ed9ae8 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -121,7 +121,7 @@ Following POLICY, which can be one of 'smart, 'horizontal, 'vertical." (split-window-horizontally) (other-window 1) (switch-to-buffer b2)) - ((eq policy 'vertically) + ((eq policy 'vertical) (split-window-vertically) (other-window 1) (switch-to-buffer b2)) diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 54dae790..f559eead 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -253,19 +253,7 @@ NB: may change the selected window." ;; switch other window (set-window-buffer (next-window nil 'ignoreminibuf) buffer))) ;; o/w: call display buffer to configure windows nicely. - ;; PC: Experimental this was simply (display-buffer buffer) but I am - ;; experimenting the following policy: when in three windows - ;; mode, always make new windo on the right pane, that is: - ;; always split one of the associated buffers windows - ;; this is not perfect, let's see if people like it - (let ((associated-windows (proof-associated-windows))) - (if (not (and proof-three-window-enable associated-windows)) - (display-buffer buffer) - (select-window (car associated-windows)) ; take on assoc. win - (proof-safe-split-window-vertically) - (set-window-dedicated-p (selected-window) nil) - (switch-to-buffer buffer) - (set-window-dedicated-p (selected-window) t))))) + (display-buffer buffer))) ;; Return the window, hopefully the one we first thought of. (get-buffer-window buffer 0)) |