diff options
| author | David Aspinall | 2002-08-29 14:35:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 14:35:04 +0000 |
| commit | f3b108308bad8b51d23685dabe79699238e4eceb (patch) | |
| tree | c8d6266f0205d247101d8bd8b86d3cafd667ac6c /generic | |
| parent | 465c7dab22e41a072ff2544257e3e4d98d91edcd (diff) | |
Try to avoid old setting proof-splash-extensions.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-splash.el | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index a5b05e79..852c2e77 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -56,13 +56,14 @@ If it is nil, a new line is inserted." :type 'sexp :group 'proof-general-internals) -(defconst proof-splash-extensions - (if (featurep 'proof-config) nil - ;; Display additional hint if we guess we're being loaded - ;; by shell script rather than find-file. - '(list - "To start using Proof General, visit a proof script file" - "for your prover, using C-x C-f or the \"File\" menu."))) +(defconst proof-splash-startup-msg + '(if (featurep 'proof-config) nil + ;; Display additional hint if we guess we're being loaded + ;; by shell script rather than find-file. + '(list + "To start using Proof General, visit a proof script file" + "for your prover, using C-x C-f or the \"File\" menu.")) + "Additional form evaluated and put onto splash screen.") (defconst proof-splash-welcome "*Proof General Welcome*" "Name of the Proof General splash buffer.") @@ -194,7 +195,7 @@ Otherwise, timeout inside this function after 10 seconds or so." (pop-up-frames nil) ; display in the same frame. (splash-contents (append (eval proof-splash-contents) - (eval proof-splash-extensions))) + (eval proof-splash-startup-msg))) s) (with-current-buffer splashbuf (erase-buffer) |