diff options
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |