From ea0f007c4218c14947a8fb648d35c141bc0af5e8 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Sun, 5 May 2024 18:12:15 +0200 Subject: [PATCH] Reduce splash time to 1s. The idea is that this splash screen annoys everyone, even in its new manga-style form. I would even consider removing it completely but at least let us not have it last for 8 seconds by default. --- generic/proof-splash.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic/proof-splash.el b/generic/proof-splash.el index c44de006f..340cf3e50 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -42,7 +42,7 @@ :type 'boolean :group 'proof-user-options) -(defcustom proof-splash-time 8 +(defcustom proof-splash-time 1 "Minimum number of seconds to display splash screen for. The splash screen may be displayed for a wee while longer than this, depending on how long it takes the machine to initialise