diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 17:56:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 17:56:31 +0000 |
| commit | ab85a24f219c5d1f53768326ea1a711a7c2d338f (patch) | |
| tree | 996c27c135f8b1308e72a1c29e32e161b0e27b3d | |
| parent | 0005f77be3219f1b7b00fd81d9485a207c6f17a1 (diff) | |
Display screen only if called interactively
| -rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 744b7629..e4519b4c 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -205,7 +205,7 @@ Borrowed from startup-center-spaces." (interactive) (unless (or proof-splash-seen (noninteractive)) (if proof-splash-enable - (proof-splash-display-screen t) + (proof-splash-display-screen (interactive-p)) ;; Otherwise, a message (message "Welcome to %s Proof General!" proof-assistant) (setq proof-splash-seen t)) |