diff options
| author | David Aspinall | 2000-05-11 14:16:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:16:31 +0000 |
| commit | 5f7d3f0e9a8badc4f7405391da69a9b17f66fcdb (patch) | |
| tree | 29791236249ae45b33c33de9a844c2f76679b778 /generic/proof-splash.el | |
| parent | 7927f70c8c024b52b47e5e10ba185ed97f8d39a3 (diff) | |
Extra arg to proof-splash-display-screen to serve as an About box.
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 11 |
1 files 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 () |