diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 00:14:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 00:14:51 +0000 |
| commit | 9a19a0434d56f5dc28139a32773b7b902ff43168 (patch) | |
| tree | 474453244009dfe99ff7b79c2f09badf664b5850 /generic/proof-splash.el | |
| parent | 0c620e63df8247bc824ba9e3e78de875d3fd5cbe (diff) | |
Splash for a bit longer: people complain its too short
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 05208a63..c3e644d9 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -19,7 +19,7 @@ :type 'boolean :group 'proof-user-options) -(defcustom proof-splash-time 2 +(defcustom proof-splash-time 3 "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 @@ -45,7 +45,9 @@ Proof General." nil nil " Please report problems at http://proofgeneral.inf.ed.ac.uk/trac - Visit the Proof General wiki at http://proofgeneral.inf.ed.ac.uk/wiki") + Visit the Proof General wiki at http://proofgeneral.inf.ed.ac.uk/wiki" + nil + "Find out more about Emacs via the Help menu.") "Evaluated to configure splash screen displayed when entering Proof General. A list of the screen contents. If an element is a string or an image specifier, it is displayed centred on the window on its own line. @@ -271,7 +273,10 @@ Otherwise, timeout inside this function after 10 seconds or so." (interactive) (unless (or proof-splash-seen noninteractive) (if proof-splash-enable - (proof-splash-display-screen (not (interactive-p))) + (progn + ;; disable ordinary emacs splash + (setq inhibit-startup-message t) + (proof-splash-display-screen (not (interactive-p)))) ;; Otherwise, a message (message "Welcome to %s Proof General!" proof-assistant)) (setq proof-splash-seen t))) |