diff options
author | Julian <MyFakeAcc.4@googlemail.com> | 2016-05-15 02:57:44 +0900 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2016-05-14 20:49:28 +0200 |
commit | 6ae7a555bfd0dde6967d716b4439f1c47911b5d4 (patch) | |
tree | baa9a26ba7e1caed7334e59fb2ba5f31f28f90c1 /player/lua/defaults.lua | |
parent | 449b948ee8b53f17a2dd6469f6a14c8dd4c04ccd (diff) | |
download | mpv-6ae7a555bfd0dde6967d716b4439f1c47911b5d4.tar.bz2 mpv-6ae7a555bfd0dde6967d716b4439f1c47911b5d4.tar.xz |
lua: add timer:is_enabled() function
Allows to query if some timer is currently running or was
stopped/killed.
Diffstat (limited to 'player/lua/defaults.lua')
-rw-r--r-- | player/lua/defaults.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/player/lua/defaults.lua b/player/lua/defaults.lua index a12e5bd3c3..e499ecc917 100644 --- a/player/lua/defaults.lua +++ b/player/lua/defaults.lua @@ -275,6 +275,10 @@ function timer_mt.resume(t) end end +function timer_mt.is_enabled(t) + return timers[t] ~= nil +end + -- Return the timer that expires next. local function get_next_timer() local best = nil |