On Wed, Jul 2, 2014 at 10:52 AM, 'Terry Brown' via leo-editor <[email protected]> wrote:
> You saw what I posted here: > https://github.com/leo-editor/snippets/blob/master/on_typing_idle.py Yes. > so it would just be a matter of packaging - I would think the turn off > would have to be more specific than Ctrl-G, which the user may be using > for other things. > > Also might be more useful to allow something other than just > repeat-complex-command, seeing the user may be using that for other > things too. I agree. It's a matter of packaging, and maybe also finding the simplest, most useful generalization. > Seemed that the use case was: > > Edit a document using any of Leo's features including Alt-X and Ctrl-G > (potentially), and, when no typing has occurred for a set time, run a > command or script or something *once* to render the doc. > > I have no plans to do more with it, the script I posted could be used > to make a couple of buttons to start and stop the monitoring. Hmm. Let's think a little more about this. Certainly the rst use case would be handled naturally by buttons. Perhaps there is no need to go beyond that. For example, one could always create an idle-time hook if desired. And maybe repeat-complex-command-repeatedly isn't going to be useful very often. Still, I think this idea *might* apply in other situations. I'll keep it in the back of my mind... 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.
