diff lispref/symbols.texi @ 33236:d20d5b9045de

(fancy-splash-delay): Set to 10 seconds. (fancy-splash-max-time): New user-option. (fancy-splash-stop-time): New variable. (fancy-splash-screens): Set it. Catch `stop-splashing'. (fancy-splash-screens-1): Throw `stop-splashing' when current time is greater than fancy-splash-stop-time.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 06 Nov 2000 11:43:59 +0000
parents f7b7fdb0f3f4
children 4d3831f2899f
line wrap: on
line diff