From 5f7d3f0e9a8badc4f7405391da69a9b17f66fcdb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:16:31 +0000
Subject: Extra arg to proof-splash-display-screen to serve as an About box.

---
 generic/proof-splash.el | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index c199121f..3a3cc961 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -82,8 +82,9 @@ Borrowed from startup-center-spaces."
   "Flag indicating the user has been subjected to a welcome message.")
 
 ;;;###autoload
-(defun proof-splash-display-screen ()
+(defun proof-splash-display-screen (&optional timeout)
   "Save window config and display Proof General splash screen."
+ (interactive "P")
   (let
       ;; Keep win config explicitly instead of pushing/popping because
       ;; if the user switches windows by hand in some way, we want
@@ -120,7 +121,7 @@ Borrowed from startup-center-spaces."
 	  (sit-for 0))
 	(setq proof-splash-timeout-conf
 	      (cons
-	       (add-timeout proof-splash-time
+	       (add-timeout (if timeout proof-splash-time 20)
 			    'proof-splash-remove-screen
 			    winconf)
 	       winconf)))
@@ -133,7 +134,11 @@ Borrowed from startup-center-spaces."
     ;; loaded by a call to proof-mode.  We display the screen now and add
     ;; a wait procedure temporarily to proof-mode-hook which prevents
     ;; redisplay until proof-splash-time has elapsed. 
-    (add-hook 'proof-mode-hook 'proof-splash-timeout-waiter)
+    (if timeout
+	(add-hook 'proof-mode-hook 'proof-splash-timeout-waiter)
+      ;; Otherwise, this was an "about" type of call, so we wait
+      ;; for a key press or timeout event
+      (proof-splash-timeout-waiter))
     (setq proof-splash-seen t)))
 
 (defun proof-splash-message ()
-- 
cgit v1.2.3