> You are correct that we trivially know this information. What would you > suggest for the heuristic on not rescheduling? A timer that takes up 500ms > out of every 1000 is also something we'd want to kill. > > -Matt
IMHO, any kind of bad plugin detection is useless. It's complicate, need complex documentation and users will shoot their legs in any case. Timer running threshold solves 'do not kill good plugins' problem that completely different from the above. -- -- 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 [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
