diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 53140629..44b73219 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -266,9 +266,7 @@ NB: may change the selected window." (proof-safe-split-window-vertically) (set-window-dedicated-p (selected-window) nil) (switch-to-buffer buffer) - (set-window-dedicated-p (selected-window) t) - )) - )) + (set-window-dedicated-p (selected-window) t))))) ;; Return the window, hopefully the one we first thought of. (get-buffer-window buffer 0)) |