Re: redisplay-dont-pause does not work

[David Kastrup]

address@hidden (Kim F. Storm) writes:

> David Kastrup <address@hidden> writes:
>
>>>>    @example
>>>>    (let ((redisplay-dont-pause t))
>>>>      (sit-for 0))
>>>>    @end example
>
>> Is there a particular reason that you used " || sec || usec" here?  It
>> makes (sit-for 0) a special case, and I am not sure why.
>
> To match the example...  And to make the change as non-intrusive as
> possible at this stage.

Is redisplay-dont-pause set by anybody but the user?  If not, the
change is not intrusive.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum