From 9a19a0434d56f5dc28139a32773b7b902ff43168 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 00:14:51 +0000
Subject: Splash for a bit longer: people complain its too short

---
 generic/proof-splash.el | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 05208a63..c3e644d9 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -19,7 +19,7 @@
   :type 'boolean
   :group 'proof-user-options)
 
-(defcustom proof-splash-time 2
+(defcustom proof-splash-time 3
   "Minimum number of seconds to display splash screen for.
 The splash screen may be displayed for a wee while longer than
 this, depending on how long it takes the machine to initialise 
@@ -45,7 +45,9 @@ Proof General."
     nil
     nil
 "    Please report problems at http://proofgeneral.inf.ed.ac.uk/trac
-    Visit the Proof General wiki at http://proofgeneral.inf.ed.ac.uk/wiki")
+    Visit the Proof General wiki at http://proofgeneral.inf.ed.ac.uk/wiki"
+    nil
+    "Find out more about Emacs via the Help menu.")
   "Evaluated to configure splash screen displayed when entering Proof General.
 A list of the screen contents.  If an element is a string or an image
 specifier, it is displayed centred on the window on its own line.  
@@ -271,7 +273,10 @@ Otherwise, timeout inside this function after 10 seconds or so."
   (interactive)
   (unless (or proof-splash-seen noninteractive)
     (if proof-splash-enable
-	(proof-splash-display-screen (not (interactive-p)))
+	(progn
+	  ;; disable ordinary emacs splash
+	  (setq inhibit-startup-message t)
+	  (proof-splash-display-screen (not (interactive-p))))
       ;; Otherwise, a message
       (message "Welcome to %s Proof General!" proof-assistant))
     (setq proof-splash-seen t)))
-- 
cgit v1.2.3