1085 |
:group 'initialization) |
:group 'initialization) |
1086 |
|
|
1087 |
|
|
1088 |
(defcustom fancy-splash-delay 10 |
(defcustom fancy-splash-delay 7 |
1089 |
"*Delay in seconds between splash screens." |
"*Delay in seconds between splash screens." |
1090 |
:group 'fancy-splash-screen |
:group 'fancy-splash-screen |
1091 |
:type 'integer) |
:type 'integer) |
1092 |
|
|
1093 |
|
|
1094 |
(defcustom fancy-splash-max-time 60 |
(defcustom fancy-splash-max-time 30 |
1095 |
"*Show splash screens for at most this number of seconds. |
"*Show splash screens for at most this number of seconds. |
1096 |
Values less than 60 seconds are ignored." |
Values less than twice `fancy-splash-delay' are ignored." |
1097 |
:group 'fancy-splash-screen |
:group 'fancy-splash-screen |
1098 |
:type 'integer) |
:type 'integer) |
1099 |
|
|
1271 |
mode-line-format (propertize "---- %b %-" |
mode-line-format (propertize "---- %b %-" |
1272 |
'face '(:weight bold)) |
'face '(:weight bold)) |
1273 |
fancy-splash-stop-time (+ (float-time) |
fancy-splash-stop-time (+ (float-time) |
1274 |
(max 60 fancy-splash-max-time)) |
fancy-splash-max-time) |
1275 |
timer (run-with-timer 0 fancy-splash-delay |
timer (run-with-timer 0 fancy-splash-delay |
1276 |
#'fancy-splash-screens-1 |
#'fancy-splash-screens-1 |
1277 |
splash-buffer)) |
splash-buffer)) |