diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-03-17 16:45:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-17 16:45:06 +0000 |
| commit | 2457cd14e6b1bf0cb423b7726ac4b1014c6a67e7 (patch) | |
| tree | ad7c87538fdd374984f6fbc6b5f6eeff50966751 /generic | |
| parent | 568336590dd8fbee57eea7fbfa4f08682633851f (diff) | |
Bury splash buffer instead of merely switching away from it.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 8e2372dc..f4f96670 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -201,7 +201,7 @@ Borrowed from startup-center-spaces." ;; (kill-buffer splashbuf) (if (eq (selected-window) (window-buffer (selected-window))) - (switch-to-other-buffer))))) + (bury-buffer splashbuf))))) (defvar proof-splash-seen nil "Flag indicating the user has been subjected to a welcome message.") |