From 2457cd14e6b1bf0cb423b7726ac4b1014c6a67e7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 17 Mar 2003 16:45:06 +0000 Subject: Bury splash buffer instead of merely switching away from it. --- generic/proof-splash.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic') 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.") -- cgit v1.2.3