[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause does not work
From: |
Lars Hansen |
Subject: |
Re: redisplay-dont-pause does not work |
Date: |
Mon, 05 Jun 2006 11:00:02 +0200 |
User-agent: |
Debian Thunderbird 1.0.2 (X11/20060423) |
Kim F. Storm wrote:
>David Kastrup <address@hidden> writes:
>
>
>
>> I propose checking this change in.
>>
>>
>
>Done.
>
>
Thanks!
What about something like this:
*** /home/lh/cvsroot/emacs/lisp/subr.el 2006-06-01 22:55:47.000000000 +0200
--- subr.el 2006-06-05 09:04:22.868010017 +0200
***************
*** 1869,1874 ****
--- 1869,1879 ----
(setq buffer-file-name name)
(set-buffer-modified-p modified))))
+ (defun redisplay-now ()
+ "Force display update."
+ (let ((redisplay-dont-pause t))
+ (sit-for 0)))
+
;;;; Overlay operations
*** /home/lh/cvsroot/emacs/lispref/display.texi 2006-06-01 22:55:58.000000000
+0200
--- display.texi 2006-06-05 10:30:36.432000900 +0200
***************
*** 103,114 ****
You can request a display update, but only if no input is pending,
with @code{(sit-for 0)}. To force a display update even when input is
! pending, do this:
!
! @example
! (let ((redisplay-dont-pause t))
! (sit-for 0))
! @end example
@node Truncation
@section Truncation
--- 103,109 ----
You can request a display update, but only if no input is pending,
with @code{(sit-for 0)}. To force a display update even when input is
! pending, call @code{redisplay-now}.
@node Truncation
@section Truncation
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/01
- 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 <=
- 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
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/06
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/06/06
- Re: redisplay-dont-pause does not work, David Kastrup, 2006/06/09