[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: |
Sun, 28 May 2006 09:47:41 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Richard Stallman <address@hidden> writes:
> Does this fix it?
>
> *** dispnew.c 01 May 2006 16:16:58 -0400 1.363
> --- dispnew.c 27 May 2006 20:01:39 -0400
> ***************
> *** 6405,6411 ****
> {
> swallow_events (display);
>
> ! if (detect_input_pending_run_timers (display) || !NILP
> (Vexecuting_kbd_macro))
> return Qnil;
>
> if (initial_display)
> --- 6405,6414 ----
> {
> swallow_events (display);
>
> ! if ((detect_input_pending_run_timers (display)
> ! && NILP (Vredisplay_dont_pause))
> ! || !NILP (Vexecuting_kbd_macro))
> !
> return Qnil;
>
> if (initial_display)
/home/tmp/emacs/src/dispnew.c: In function ‘sit_for’:
/home/tmp/emacs/src/dispnew.c:6409: error: ‘Vredisplay_dont_pause’ undeclared
(first use in this function)
/home/tmp/emacs/src/dispnew.c:6409: error: (Each undeclared identifier is
reported only once
/home/tmp/emacs/src/dispnew.c:6409: error: for each function it appears in.)
make[1]: *** [dispnew.o] Error 1
make[1]: Leaving directory `/usr/local/tmp/emacs-build/src'
make: *** [src] Error 2
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- 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, 2006/05/26
- 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 <=
- 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
- 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
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/05/27