[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 11:44:27 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
address@hidden (Kim F. Storm) writes:
> Richard Stallman <address@hidden> writes:
>
>> Thanks. Does this do it?
>
> Obviously not, as the variable is named redisplay_dont_pause.
>
> Try this:
>
> *** dispnew.c 01 May 2006 16:16:58 -0400 1.363
> --- dispnew.c 28 May 2006 19:07:02 -0400
> ***************
> *** 6405,6411 ****
> {
> swallow_events (display);
>
> ! if (detect_input_pending_run_timers (display) || !NILP
> (Vexecuting_kbd_macro))
> return Qnil;
>
> if (initial_display)
> --- 6406,6415 ----
> {
> swallow_events (display);
>
> ! if ((detect_input_pending_run_timers (display)
> ! && !redisplay_dont_pause)
> ! || !NILP (Vexecuting_kbd_macro))
> !
> return Qnil;
>
> if (initial_display)
This works as documented in the manual. 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. I propose checking this change in. It might be worth
mentioning redisplay-dont-pause in the DOC string of sit-for. If
people agree, I could write something for there.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: redisplay-dont-pause does not work,
David Kastrup <=
- 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, 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