diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-08-23 18:42:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-08-23 18:42:34 +0000 |
| commit | bd3935f10a296b7c9fd0a2adf14c4f8312bd4850 (patch) | |
| tree | b902fb28a3f58b47946ad3a71fd71d94de1d7a41 /lib/proof-compat.el | |
| parent | f8c2cf69702bcabb065eb77bf8f8b330a7daea67 (diff) | |
sit-for is indeed in subr.el, must be careful to load right
libraries...
Diffstat (limited to 'lib/proof-compat.el')
| -rw-r--r-- | lib/proof-compat.el | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 1575a2f2..411455be 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -693,18 +693,6 @@ The corresponding face should be set using `edit-faces' or the ;; 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) |