Merge pull request #768 from Matafou/splash-time

ProofGeneral · Jun 15, 2024 · b9fdbbf · b9fdbbf
2 parents cb23709 + ea0f007
commit b9fdbbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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