[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: |
Mon, 29 May 2006 02:38:26 -0400 |
Thanks. Does this do it?
*** dispnew.c 01 May 2006 16:16:58 -0400 1.363
--- dispnew.c 28 May 2006 19:07:02 -0400
***************
*** 356,362 ****
static void add_frame_display_history P_ ((struct frame *, int));
static void add_window_display_history P_ ((struct window *, char *, int));
!
/* Add to the redisplay history how window W has been displayed.
MSG is a trace containing the information how W's glyph matrix
has been constructed. PAUSED_P non-zero means that the update
--- 356,363 ----
static void add_frame_display_history P_ ((struct frame *, int));
static void add_window_display_history P_ ((struct window *, char *, int));
! extern Lisp_Object Vredisplay_dont_pause;
!
/* Add to the redisplay history how window W has been displayed.
MSG is a trace containing the information how W's glyph matrix
has been constructed. PAUSED_P non-zero means that the update
***************
*** 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)
! && NILP (Vredisplay_dont_pause))
! || !NILP (Vexecuting_kbd_macro))
!
return Qnil;
if (initial_display)
- 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, 2006/05/28
- Re: redisplay-dont-pause does not work,
Richard Stallman <=
- 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