diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-01-14 12:50:48 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-01-14 12:50:48 +0000 |
commit | fc8f28f31915101cf77d4218e21fd12fc675f77c (patch) | |
tree | 65d0b49c49209c2ecc391bf422815ce1d785e823 /generic/proof-splash.el | |
parent | ec8ee4d391a14e187bcdf3d7b5a88ee1c1c17d92 (diff) |
lower cpu utilization of splash screen, see Debian bug #642048
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |