From 2b7e9b50aaabaafab78035e3a5ec05413d96b913 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Dec 1998 10:55:57 +0000
Subject: Fix for proof-splash-inhibit = t.  Bug report from Paul Callaghan.

---
 generic/proof-splash.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index c2600586..f3d48107 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -157,7 +157,8 @@ 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))
 
-(add-hook 'proof-mode-hook 'proof-splash-timeout-waiter)
+(unless proof-splash-inhibit
+  (add-hook 'proof-mode-hook 'proof-splash-timeout-waiter))
 
 (provide 'proof-splash)
 ;; End of proof-splash.
-- 
cgit v1.2.3