From eef850dfb660ad59a4d25fce00dc322942a44a83 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Aug 2001 15:38:51 +0000
Subject: Remove dependent setting of timeout, since bin calls different fn
 now.

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

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 54f90858..d74cdf1f 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -16,10 +16,7 @@
   :type 'boolean
   :group 'proof-user-options)
 
-(defcustom proof-splash-time 
-  ;; a shorter timeout if we're being loaded via visit-file.
-  ;; FIXME (minor): shouldn't be defcustom since evaluated here
-  (if (featurep 'proof-config) 2 6)
+(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 
@@ -131,6 +128,8 @@ Borrowed from startup-center-spaces."
   
 ;; We take some care to preserve the users window configuration
 ;; underneath the splash screen.  This is just to be polite.
+;; FIXME: not as polite as it could be: if minibuffer is active,
+;; this may deactivate it.
 (defun proof-splash-remove-screen (conf)
   "Remove splash screen and restore window config to CONF."
   (let
-- 
cgit v1.2.3