[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause does not work
From: |
Eli Zaretskii |
Subject: |
Re: redisplay-dont-pause does not work |
Date: |
Thu, 01 Jun 2006 15:11:33 +0300 |
> From: David Kastrup <address@hidden>
> Date: Thu, 01 Jun 2006 11:44:27 +0200
> Cc: address@hidden, address@hidden
>
> The effect with a non-zero argument to sit-for is that redisplay
> happens immediately, then the wait is commenced until (or unless)
> input is available. Which appears natural enough.
Not only is it natural, I think it would be a bug if it worked any
other way: one of sit-for's purposes is to let the user to read a
message that is displayed for a short duration of time. If sit-for
would wait first and redisplay after that, it would defeat this
purpose.
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/01
- Re: redisplay-dont-pause does not work,
Eli Zaretskii <=
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/06/01
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/01
- 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