From d4af1eba50b8393e75b5772a9945dec8c1ce372d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 22:56:03 +0000
Subject: Splash time=2, trying to unify FSF and XEmacs.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 6b022017..d7f8bc42 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1511,7 +1511,7 @@ buffer.  Otherwise they appear in the response buffer."
 ;; 7. Splash screen settings
 ;;
 
-(defcustom proof-splash-time 1.5
+(defcustom proof-splash-time 2
   "Minimum number of seconds to display splash screen for.
 The splash screen may be displayed for a couple of seconds longer than
 this, depending on how long it takes the machine to initialise 
-- 
cgit v1.2.3