From ab85a24f219c5d1f53768326ea1a711a7c2d338f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 May 2001 17:56:31 +0000
Subject: Display screen only if called interactively

---
 generic/proof-splash.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 744b7629..e4519b4c 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -205,7 +205,7 @@ Borrowed from startup-center-spaces."
   (interactive)
   (unless (or proof-splash-seen (noninteractive))
     (if proof-splash-enable
-	(proof-splash-display-screen t)
+	(proof-splash-display-screen (interactive-p))
       ;; Otherwise, a message
       (message "Welcome to %s Proof General!" proof-assistant)
     (setq proof-splash-seen t))
-- 
cgit v1.2.3