From fc8f28f31915101cf77d4218e21fd12fc675f77c Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Sat, 14 Jan 2012 12:50:48 +0000
Subject: lower cpu utilization of splash screen, see Debian bug #642048

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

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index b6f95921..5e6b95da 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -296,7 +296,7 @@ binding to remove this buffer."
   "Wait for proof-splash-timeout or input, then remove self from hook."
   (while (and proof-splash-timeout-conf ;; timeout still active
 	      (not (input-pending-p)))
-    (sit-for 0))
+    (sit-for 0.1))
   (if proof-splash-timeout-conf         ;; not removed yet
       (proof-splash-remove-screen))
   (if (fboundp 'next-command-event) ; 3.3: Emacs removed this
-- 
cgit v1.2.3