diff options
author | xylosper <darklin20@gmail.com> | 2014-02-24 00:43:04 +0900 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-02-23 18:16:24 +0100 |
commit | 5cbef87c17ce4944893b53796370a1ffeb7a24f0 (patch) | |
tree | 38239784f3dbb5925ed604b1f7f1718960b7846c /DOCS | |
parent | 8906e409250da939e40c57783ef349cfdecc99d8 (diff) | |
download | mpv-5cbef87c17ce4944893b53796370a1ffeb7a24f0.tar.bz2 mpv-5cbef87c17ce4944893b53796370a1ffeb7a24f0.tar.xz |
command: use DVD volume ID for media-title property
Signed-off-by: wm4 <wm4@nowhere>
Closes #582.
Diffstat (limited to 'DOCS')
-rw-r--r-- | DOCS/man/en/input.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/DOCS/man/en/input.rst b/DOCS/man/en/input.rst index c4a18cb7ba..a98bc4a28a 100644 --- a/DOCS/man/en/input.rst +++ b/DOCS/man/en/input.rst @@ -543,6 +543,8 @@ an option at runtime. Otherwise, if the currently played file has a ``title`` tag, use that. + Otherwise, if the media type is DVD, return the volume ID of DVD. + Otherwise, return the ``filename`` property. ``demuxer`` |