diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-08-28 15:38:51 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-28 15:38:51 +0000 |
commit | eef850dfb660ad59a4d25fce00dc322942a44a83 (patch) | |
tree | 272dd7ffd7fd098969c10890590eb0438099c453 | |
parent | 43fb0f1c705dfa12404b51d22c25de4af1269242 (diff) |
Remove dependent setting of timeout, since bin calls different fn now.
-rw-r--r-- | generic/proof-splash.el | 7 |
1 files 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 |