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 39416c27..dab732e2 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -580,7 +580,7 @@ No action if BUF is nil or killed." ;; that gives much nicer behaviour than XEmacs here. (display-buffer buf 'not-this-window) (let ((pop-up-windows t)) - (pg-pop-to-buffer buffer 'not-this-window 'norecord)))))) + (pg-pop-to-buffer buf 'not-this-window 'norecord)))))) ;; Originally based on `shrink-window-if-larger-than-buffer', which |