[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause does not work
From: |
David Kastrup |
Subject: |
Re: redisplay-dont-pause does not work |
Date: |
Thu, 01 Jun 2006 22:22:07 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
address@hidden (Kim F. Storm) writes:
> David Kastrup <address@hidden> writes:
>
>> I propose checking this change in.
>
> Done.
>
>> It might be worth
>> mentioning redisplay-dont-pause in the DOC string of sit-for. If
>> people agree, I could write something for there.
>
> Please do.
I came up with
Index: dispnew.c
===================================================================
RCS file: /sources/emacs/emacs/src/dispnew.c,v
retrieving revision 1.364
diff -u -r1.364 dispnew.c
*** dispnew.c 1 Jun 2006 13:53:19 -0000 1.364
--- dispnew.c 1 Jun 2006 20:18:09 -0000
***************
*** 6438,6443 ****
--- 6438,6446 ----
if input is available before it starts.
Value is t if waited the full time with no input arriving.
+ Redisplay will occur even when input is available if you bind
+ `redisplay-dont-pause' to a non-nil value.
+
An obsolete but still supported form is
\(sit-for SECONDS &optional MILLISECONDS NODISP)
Where the optional arg MILLISECONDS specifies an additional wait period,
If nobody complains, I'll check it in.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/01
- Re: redisplay-dont-pause does not work, Eli Zaretskii, 2006/06/01
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/06/01
- Re: redisplay-dont-pause does not work,
David Kastrup <=
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/06/05
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/05
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/06/05
- Re: redisplay-dont-pause does not work, Slawomir Nowaczyk, 2006/06/05
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/05
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/06/05
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/06/06
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/06/06
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/06
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/06/06