From e2108a7b3edac754138368a0fc51b0160129253b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 13 Oct 2011 14:35:09 +0000 Subject: Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p with called-interactively-p) --- generic/proof-splash.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-splash.el') 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))) -- cgit v1.2.3