diff options
| author | wm4 <wm4@nowhere> | 2014-03-15 18:41:15 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-03-15 18:42:10 +0100 |
| commit | 8a75b19cd4bfd093010f2f840241f537e0cffb49 (patch) | |
| tree | f4ed25cd58eebcca535c5581e7e0ae3e31b5e0d6 /DOCS | |
| parent | 746666f0962b0ee332584c4d7aa2f8f9d453db1d (diff) | |
| download | mpv-8a75b19cd4bfd093010f2f840241f537e0cffb49.tar.bz2 mpv-8a75b19cd4bfd093010f2f840241f537e0cffb49.tar.xz | |
command: prefix DVD title properties with "dvd-"
They're strictly DVD-only, so it's better to mark them as such. This
also documentes the "title" (now renamed to "dvd-title") property.
This also avoids collision with the --title option. (Technically, there
was no problem. But it might be confusing for users, since we have a
policy of naming properties and options the same if they refer to the
same underlying functionality.)
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/man/en/input.rst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/DOCS/man/en/input.rst b/DOCS/man/en/input.rst index 8efa2ecedf..c1b1506d4c 100644 --- a/DOCS/man/en/input.rst +++ b/DOCS/man/en/input.rst @@ -616,9 +616,12 @@ an option at runtime. Current MKV edition number. Setting this property to a different value will restart playback. The number of the first edition is 0. -``titles`` +``dvd-titles`` Number of DVD titles. +``dvd-title`` + Current DVD title number. + ``chapters`` Number of chapters. |