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 /DOCS | |
| 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 'DOCS')
| -rw-r--r-- | DOCS/man/lua.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/DOCS/man/lua.rst b/DOCS/man/lua.rst index 35124a788f..b0d66c1760 100644 --- a/DOCS/man/lua.rst +++ b/DOCS/man/lua.rst @@ -350,6 +350,10 @@ The ``mp`` module is preloaded, although it can be loaded manually with with ``add_timeout()``), this starts the timer from the beginning, using the initially configured timeout. + ``is_enabled()`` + Whether the timer is currently enabled or was previously disabled + (e.g. by ``stop()`` or ``kill()``). + ``timeout`` (RW) This field contains the current timeout period. This value is not updated as time progresses. It's only used to calculate when the |