aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRichard M. Stallman2005-04-17 16:00:20 +0000
committerRichard M. Stallman2005-04-17 16:00:20 +0000
commit1ef0ffc603eb56533d3f6755c51009065a4ebba5 (patch)
tree88081ccf3495dd35f27180227c62ef503891f40a
parent23ce2debd8e46dbb86cedde0f948f2e107ae5d1e (diff)
downloademacs-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.el8
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.
1096Values less than 60 seconds are ignored." 1096Values 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))