wm4 e3e9661a33 lua: give more control over timers ... Now they can be paused and resumed. Since pausing and disabling the timer is essentially the same underlying operation, we also just provide one method for it. mp.cancel_timer probably still works, but I'm considering this deprecated, and it's removed from the manpage. (We didn't have a release with this function yet, so no formal deprecation.)		2014-04-02 17:09:45 +02:00
..
en	lua: give more control over timers	2014-04-02 17:09:45 +02:00