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
2016-04-30 15:13:38 +02:00
2016-08-07 18:22:53 +02:00
2016-07-24 14:12:38 +02: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-05-20 17:24:11 +02:00
2016-05-20 17:24:11 +02: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
2016-07-31 14:17:27 +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-07-28 22:24:15 +02:00
