diff options
| author | Richard M. Stallman | 2005-04-17 16:00:20 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2005-04-17 16:00:20 +0000 |
| commit | 1ef0ffc603eb56533d3f6755c51009065a4ebba5 (patch) | |
| tree | 88081ccf3495dd35f27180227c62ef503891f40a | |
| parent | 23ce2debd8e46dbb86cedde0f948f2e107ae5d1e (diff) | |
| download | emacs-1ef0ffc603eb56533d3f6755c51009065a4ebba5.tar.gz emacs-1ef0ffc603eb56533d3f6755c51009065a4ebba5.zip | |
(fancy-splash-max-time): Just 30 seconds.
(fancy-splash-delay): Just 7.
(fancy-splash-screens): No time limit other than fancy-splash-max-time.
| -rw-r--r-- | lisp/startup.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lisp/startup.el b/lisp/startup.el index 224158e9a37..1919c2837f8 100644 --- a/lisp/startup.el +++ b/lisp/startup.el | |||
| @@ -1085,15 +1085,15 @@ Each element in the list should be a list of strings or pairs | |||
| 1085 | :group 'initialization) | 1085 | :group 'initialization) |
| 1086 | 1086 | ||
| 1087 | 1087 | ||
| 1088 | (defcustom fancy-splash-delay 10 | 1088 | (defcustom fancy-splash-delay 7 |
| 1089 | "*Delay in seconds between splash screens." | 1089 | "*Delay in seconds between splash screens." |
| 1090 | :group 'fancy-splash-screen | 1090 | :group 'fancy-splash-screen |
| 1091 | :type 'integer) | 1091 | :type 'integer) |
| 1092 | 1092 | ||
| 1093 | 1093 | ||
| 1094 | (defcustom fancy-splash-max-time 60 | 1094 | (defcustom fancy-splash-max-time 30 |
| 1095 | "*Show splash screens for at most this number of seconds. | 1095 | "*Show splash screens for at most this number of seconds. |
| 1096 | Values less than 60 seconds are ignored." | 1096 | Values less than twice `fancy-splash-delay' are ignored." |
| 1097 | :group 'fancy-splash-screen | 1097 | :group 'fancy-splash-screen |
| 1098 | :type 'integer) | 1098 | :type 'integer) |
| 1099 | 1099 | ||
| @@ -1271,7 +1271,7 @@ mouse." | |||
| 1271 | mode-line-format (propertize "---- %b %-" | 1271 | mode-line-format (propertize "---- %b %-" |
| 1272 | 'face '(:weight bold)) | 1272 | 'face '(:weight bold)) |
| 1273 | fancy-splash-stop-time (+ (float-time) | 1273 | fancy-splash-stop-time (+ (float-time) |
| 1274 | (max 60 fancy-splash-max-time)) | 1274 | fancy-splash-max-time) |
| 1275 | timer (run-with-timer 0 fancy-splash-delay | 1275 | timer (run-with-timer 0 fancy-splash-delay |
| 1276 | #'fancy-splash-screens-1 | 1276 | #'fancy-splash-screens-1 |
| 1277 | splash-buffer)) | 1277 | splash-buffer)) |