diff options
Diffstat (limited to 'generic')
| -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)) |