diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:38:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:38:34 +0000 |
| commit | 6f0d30c9081739ab8525c30c12b17e8902491ecd (patch) | |
| tree | 30dc16d1f539597c704c90ce2b562ef951d3912b | |
| parent | a699a1431420383b5e65de7db63a81b1cad67ae1 (diff) | |
Coding conventions
| -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)) |