diff options
-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.") |