diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-10 10:55:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-10 10:55:57 +0000 |
commit | 2b7e9b50aaabaafab78035e3a5ec05413d96b913 (patch) | |
tree | be574f705cb9927ed2c858b1b02f69193646859f /generic/proof-splash.el | |
parent | 51ad1cdadcd31150760e8564b7539f210f98f287 (diff) |
Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 3 |
1 files changed, 2 insertions, 1 deletions
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. |