Bram Moolenaar
b73598e2f0
patch 7.4.2180
Problem: There is no easy way to stop all timers. There is no way to
temporary pause a timer.
Solution: Add timer_stopall() and timer_pause().
2016-08-07 18:22:53 +02:00
..
2016-07-24 14:12:38 +02:00
2014-03-22 21:02:50 +01:00
2016-04-30 15:13:38 +02:00
2016-08-07 18:22:53 +02:00
2016-07-24 14:12:38 +02:00
2007-05-06 17:22:46 +00:00
2016-07-24 14:12:38 +02:00
2016-07-24 14:12:38 +02:00
2016-07-16 14:47:36 +02:00
2016-03-28 22:05:47 +02:00
2016-05-20 17:24:11 +02:00
2016-05-20 17:24:11 +02:00
2016-01-09 13:23:54 +01:00
2016-08-02 21:04:33 +02:00
2016-06-12 23:01:46 +02:00
2016-07-24 14:12:38 +02:00
2016-07-29 18:13:42 +02:00
2016-07-28 22:24:15 +02:00
2016-07-24 14:12:38 +02:00
2006-04-30 18:54:39 +00:00
2011-10-20 18:12:32 +02:00
2016-04-12 21:07:15 +02:00
2016-04-05 22:07:04 +02:00
2008-02-25 19:46:51 +00:00
2006-05-03 21:26:49 +00:00
2015-08-11 20:34:49 +02:00
2016-07-31 14:17:27 +02:00
2012-07-25 17:49:10 +02:00
2016-07-16 14:47:36 +02:00
2016-07-19 21:05:21 +02:00
2016-05-24 20:02:38 +02:00
2016-04-21 18:01:28 +02:00
2016-04-12 21:07:15 +02:00
2013-11-03 21:14:31 +01:00
2016-07-28 22:24:15 +02:00
