[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause does not work
From: |
Richard Stallman |
Subject: |
Re: redisplay-dont-pause does not work |
Date: |
Fri, 26 May 2006 23:36:26 -0400 |
You can request a display update, but only if no input is pending,
with @code{(sit-for 0)}. To force a display update even when input is
pending, do this:
@example
(let ((redisplay-dont-pause t))
(sit-for 0))
@end example
Yes, I see a contradiction here. Setting `redisplay-dont-pause' does
not have the declared effect, to wit "to force a display update even
when input is pending".
I think that text in the manual is mistaken. `redisplay-dont-pause'
only affects redisplay itself. It has no effect on sit-for, which
isn't (strictly speaking) redisplay.
We could change the code, or change the manual.
I am not sure which is better.
- redisplay-dont-pause does not work, David Kastrup, 2006/05/25
- Re: redisplay-dont-pause does not work, Richard Stallman, 2006/05/25
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/05/26
- Re: redisplay-dont-pause does not work,
Richard Stallman <=
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/05/27
- Re: redisplay-dont-pause does not work, Richard Stallman, 2006/05/27
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/05/28
- Re: redisplay-dont-pause does not work, Richard Stallman, 2006/05/29
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/05/29
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/05/27
- Re: redisplay-dont-pause does not work, Eli Zaretskii, 2006/05/27
- Re: redisplay-dont-pause does not work, Stefan Monnier, 2006/05/27
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/05/27
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/05/27