On Mon, 7 Jul 2014 09:59:09 -0700 (PDT) Todd Mars <[email protected]> wrote:
> > > > > The Repeats: It is to perform a command when the user stops typing, > > right? > > > > --If the user has not type, nothing is done. > --If the user has typed, then the timer starts. If there was a timer > already, it's just reset to the delay time. > --when the timer fires, the command is executed. > > just checking thanks Todd since I initiated this thing. That was basically what it did, I just updated https://github.com/leo-editor/snippets/blob/master/on_typing_idle.py with these changes: https://github.com/leo-editor/snippets/commit/ab239e1 so that's now exactly what it does, or exactly what I expect it to do, not tested :-) Cheers -Terry -- 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.
