diff options
| author | David Aspinall | 2004-03-01 01:51:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-01 01:51:14 +0000 |
| commit | dbe77f94a47591650b4a8a14d6b678e45bb1df19 (patch) | |
| tree | 2306b865674d3ec2f6a96cd0082664ab064461a1 /generic/proof-utils.el | |
| parent | e4a7ce520bf291229b07a3a07f5cc2a026565b4a (diff) | |
Fix buglets shown up by byte compilation.
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 |