[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause does not work
From: |
Slawomir Nowaczyk |
Subject: |
Re: redisplay-dont-pause does not work |
Date: |
Mon, 05 Jun 2006 11:34:45 +0200 |
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.
--
Best wishes,
Slawomir Nowaczyk
( address@hidden )
Avoid metaphors like the plague.
- 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 <=
- 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
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/06/06
- Re: redisplay-dont-pause does not work, Lars Hansen, 2006/06/05