diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-10 15:06:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-10 15:06:10 +0000 |
| commit | b6ee01566a369020d4ad3d97d3c4556bd064ba5f (patch) | |
| tree | f11df91aa1d41a34ff6d399c7e745c2081ca0adc /generic/proof-splash.el | |
| parent | ea5b39e9612becdd529881901a811619e6fb5e4c (diff) | |
Reorganized user options. Special new code for boolean settings.
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index f3d48107..e6a0e523 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -84,10 +84,11 @@ Borrowed from startup-center-spaces." "Save window config and display Proof General splash screen. Only do it if proof-splash-display is nil." (if (and + proof-splash-enable + ;; FIXME: UGLY COMPATIBILITY HACK ;; Next check avoids XEmacs giving "Arithmetic Error" ;; during byte compilation. - (if (fboundp 'noninteractive) (not (noninteractive)) t) - (not proof-splash-inhibit)) + (if (fboundp 'noninteractive) (not (noninteractive)) t)) (let ;; Keep win config explicitly instead of pushing/popping because ;; if the user switches windows by hand in some way, we want @@ -157,7 +158,7 @@ Only do it if proof-splash-display is nil." (setq unread-command-event (next-command-event))) (remove-hook 'proof-mode-hook 'proof-splash-timeout-waiter)) -(unless proof-splash-inhibit +(if proof-splash-enable (add-hook 'proof-mode-hook 'proof-splash-timeout-waiter)) (provide 'proof-splash) |