diff configure.in @ 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 6bb874e9ee96
children 4a8304668f5c
line wrap: on
line diff