On Saturday, September 21, 2013 11:21:28 PM UTC-5, kans wrote: > On Saturday, September 21, 2013 8:15:37 PM UTC-7, Ben Fritz wrote: > > On Saturday, September 21, 2013 6:29:11 PM UTC-5, kans wrote: > > > > > > Thanks for the help. Intervals are no longer run if they error of any > > > sort (apart from a user interrupt which will likely happen accidentally). > > > > So, if I install a plugin using this feature, and some weird sequence of > > events puts it into an infinite loop, I just need to kill Vim and lose my > > work? > > > > I really, really want a way to force all timers to stop firing. Maybe not > > CTRL-C but SOMETHING should be possible for the user to kill misbehaving > > periodic tasks. > > > Ben, > > Ctrl-C will kill a given task, but it won't cancel future timeouts (if it was > an interval). Ctrl-C can't do that or else it would happen accidentally > since the end user should never notice timers firing to begin with. I'm open > to suggestions, but you are asking for a solution to a problem that doesn't > exist in any other text editor or IDE. >
That's because other editors and IDEs that have periodic timers don't freeze all user input while waiting for the periodic task to finish. You're right about CTRL-C canceling all future timeouts would be a bad thing, since that would happen accidentally more than on purpose. So probably a new keyboard command is needed. It can't be just a function or ex command, because if user input is frozen due to a bad timer, the user will never see the command-line. Or, if a timer is interrupted with CTRL-C, you could prompt to continue running timers. Kind of like some browsers prompt you "an error occurred running javascript, continue running scripts on this page?" when they load a bad website. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
