On Wed, 2 Jul 2014 10:44:08 -0500 "Edward K. Ream" <[email protected]> wrote:
> On Tue, Jul 1, 2014 at 1:39 PM, 'Terry Brown' via leo-editor > <[email protected]> wrote: > > On Tue, 1 Jul 2014 10:54:25 -0700 (PDT) > > Todd Mars <[email protected]> wrote: > > >> I've found a delay timer to execute code is very useful. For > >> example, if I stopped typing for 5 seconds, > >> It would execute 'Alt-X Ctrl-P' and execute the last command which > >> in my case is to produce my HTML (rst3) > >> so I can look at it. > > > Ha, interesting idea. > > Another brilliant idea from Leo's users. > > This would make a good extension to Ctrl-P (repeat-complex-command):: > > Alt-x whatever > repeat-complex-command-repeatedly :-) > > Ctrl-G (keyboard-quit) would presumably cancel the repeats. > > Terry, do you want to do this, or should I? You saw what I posted here: https://github.com/leo-editor/snippets/blob/master/on_typing_idle.py 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. 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. Cheers -Terry > 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.
