diff options
author | Ricardo Constantino <wiiaboo@gmail.com> | 2017-03-26 13:57:17 +0100 |
---|---|---|
committer | Ricardo Constantino <wiiaboo@gmail.com> | 2017-03-26 14:41:03 +0100 |
commit | 6573b73462e336da0daca845ba4df02782afc2b6 (patch) | |
tree | 81cbe9c9b07db9365bc6b4cd60ec1720be2ef492 /DOCS/man | |
parent | 3eb6607e5e3137e7801c669952f715b626f7afb0 (diff) | |
download | mpv-6573b73462e336da0daca845ba4df02782afc2b6.tar.bz2 mpv-6573b73462e336da0daca845ba4df02782afc2b6.tar.xz |
osc: make the title toggleable between media-title and filename
Close #4221
Diffstat (limited to 'DOCS/man')
-rw-r--r-- | DOCS/man/osc.rst | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/DOCS/man/osc.rst b/DOCS/man/osc.rst index ecb4d99244..7d9a86101c 100644 --- a/DOCS/man/osc.rst +++ b/DOCS/man/osc.rst @@ -46,8 +46,8 @@ title | Displays current media-title or filename ============= ================================================ - left-click show playlist position and length and full title - right-click show filename + left-click toggle displaying media-title or filename + right-click show playlist position and length and filename ============= ================================================ cache @@ -239,6 +239,12 @@ Configurable Options Duration of fade out in ms, 0 = no fade +``prefertitle`` + Default: yes + + Display media title if available (yes) or always display the + filename (no). + ``tooltipborder`` Default: 1 |