[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:38:13 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Slawomir Nowaczyk <address@hidden> writes:
> On Mon, 05 Jun 2006 11:05:08 +0200
> David Kastrup <address@hidden> wrote:
>
> #> Lars Hansen <address@hidden> writes:
> #>
> #> > + (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.
>
> FWIW, I think it is important to have a functions *exactly* because it
> is a hack... this way, when people use the function, we can later
> reimplement it in a better way. Otherwise, the hacks will have to be
> hunted down and replaced one by one.
But the hacks will have to be hunted down and replaced one by one,
anyway, since the stuff indiscriminately refreshes everything instead
of just the required parts of the display.
--
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, 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 <=
- 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
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/06/06
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/06/05
- Re: redisplay-dont-pause does not work, Richard Stallman, 2006/06/05