diff options
Diffstat (limited to 'generic/proof-splash.el')
| -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 e5ace495..b6f95921 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -287,7 +287,7 @@ binding to remove this buffer." (progn ;; disable ordinary emacs splash (setq inhibit-startup-message t) - (proof-splash-display-screen (not (interactive-p)))) + (proof-splash-display-screen (not (called-interactively-p 'any)))) ;; Otherwise, a message (message "Welcome to %s Proof General!" proof-assistant)) (setq proof-splash-seen t))) |