[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: |
Mon, 05 Jun 2006 11:05:08 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Lars Hansen <address@hidden> writes:
> 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)))
> +
>
In my opinion it is too much of a hack to warrant a function of its
own. A proper `redisplay-now' function should have the ability to
redisplay just a particular window and/or frame.
If we invent such a function, it should do something more thorough.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- 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, 2006/06/05
- Re: redisplay-dont-pause does not work,
David Kastrup <=
- 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
- Re: redisplay-dont-pause does not work, Kim F. Storm, 2006/06/13