On Friday, March 27, 2015 at 8:18:06 AM UTC-5, Edward K. Ream wrote:
Leo's present code to handle 'idle' events is unbearably complicated.
> Worse, it works more poorly than using g.IdleTime.
>
True, but irrelevant. 'idle' events are here to stay.
g.idleTimeHookHandler is *essential*. It calls all registered idle-time
handlers with the correct tag and keywords arguments: **keywords = {'c':c}
Replacing g.idleTimeHookHandler with g.IdleTime is out of the question:
- All idle-time handlers would have to be rewritten.
- Idle-time handlers would no longer have access to c.
As a result, the proposed change is doomed. All plugins will stay as they
were.
It might be possible to use g.IdleTime to queue g.idleTimeHookHandler, but
that's a nit.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
