diff options
| author | David Aspinall | 1999-11-15 22:56:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 22:56:03 +0000 |
| commit | d4af1eba50b8393e75b5772a9945dec8c1ce372d (patch) | |
| tree | 24aeb795b6e1f348258aa1e8118ca53b034e2f29 | |
| parent | a5f5acdcd7d067fb21dba17ac4f744faf7444b5b (diff) | |
Splash time=2, trying to unify FSF and XEmacs.
| -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 |