Compatibility for GNU Emacs CVS losing sit-for

(this will break much code, isn't  it in some .el file?)

1 files changed, 16 insertions, 0 deletions

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index 641fc8a0..1575a2f2 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -688,7 +688,23 @@ The corresponding face should be set using `edit-faces' or the
 ;	      (if mode1aux (if mode2aux t nil)
 ;		(if mode2aux nil ad-do-it)))))
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Future GNU Emacs versions
+;;
 
+;; sit-for maybe has disappeared in GNU Emacs CVS, tested 23.8.06
+(unless (fboundp 'sit-for)
+  (defun sit-for (arg &rest noredisplay)
+    "Compatible sit-for for newer GNU Emacs"
+    (cond
+     ((eq arg 0) ;; only called like this for redisplay immediately
+      (redisplay 'forceit))
+     (noredisplay
+      (sleep-for arg))
+     (t					;; sit-for was interrupted by input,
+      (sleep-for arg)			;; this isn't quite the same
+      (redisplay)))))
 
 ;; End of proof-compat.el
 (provide 'proof-compat)