[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Redisplay hook
From: |
Eli Zaretskii |
Subject: |
Re: Redisplay hook |
Date: |
Mon, 04 Jul 2016 17:52:09 +0300 |
> From: Stefan Monnier <address@hidden>
> Cc: Clément Pit--Claudel <address@hidden>,
> address@hidden
> Date: Mon, 04 Jul 2016 03:55:05 -0400
>
> I don't have a clear recollection either, sorry.
It happens ;-)
> I guess part of the question is what would be the use of such a hook.
> The difference between a pre-redisplay-hook and a
> post-redisplay-hook is not very large since most of the result of
> redisplay is "invisible" to Elisp. The main differences I can think of
> would be:
> - jit-lock stuff, in case you want to see the buffer after jit-locking.
> but it seems you can just as well hook into jit-lock to get
> that result.
> - scrolling, in case you want to react to changes in the user-visible
> window-start/end.
The use case which started this thread is yet another use case which
definitely wants to run after a frame was updated.
> Of course the use could be fairly tricky, with risks of the
> post-redisplay-hook causing further redisplay-cycle ad-nauseam, but we
> already have this problem with the window-scroll-functions, IIRC.
Yes, getting this solved should be part of the job.
Thanks.
- Re: Redisplay hook, (continued)
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/03
- Re: Redisplay hook, Eli Zaretskii, 2016/07/03
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/04
- Re: Redisplay hook, Eli Zaretskii, 2016/07/04
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/04
- Re: Redisplay hook, Eli Zaretskii, 2016/07/04
- Re: Redisplay hook, Stefan Monnier, 2016/07/04
- Re: Redisplay hook,
Eli Zaretskii <=
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/04
- Re: Redisplay hook, Robert Weiner, 2016/07/04
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/04
- Re: Redisplay hook, Robert Weiner, 2016/07/04
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/04
- RE: Redisplay hook, Drew Adams, 2016/07/04
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/04
- Re: Redisplay hook, raman, 2016/07/04
- Re: Redisplay hook, Clément Pit--Claudel, 2016/07/04
- Re: Redisplay hook, Richard Stallman, 2016/07/05