diff options
| -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. |