diff options
author | Ricardo Constantino <wiiaboo@gmail.com> | 2017-03-27 17:40:48 +0100 |
---|---|---|
committer | Ricardo Constantino <wiiaboo@gmail.com> | 2017-03-27 18:00:54 +0100 |
commit | ebf61267f4349e28fa97c0c14c66631cbf24efba (patch) | |
tree | a2a9b5220976861222363bd6f01ebcb2e612225d /DOCS/man/osc.rst | |
parent | 265547eb941bcf48d2c8c9f9e8fbadcec1514a98 (diff) | |
download | mpv-ebf61267f4349e28fa97c0c14c66631cbf24efba.tar.bz2 mpv-ebf61267f4349e28fa97c0c14c66631cbf24efba.tar.xz |
Revert "osc: make the title toggleable between media-title and filename"
This reverts commit 6573b73462e336da0daca845ba4df02782afc2b6.
Diffstat (limited to 'DOCS/man/osc.rst')
-rw-r--r-- | DOCS/man/osc.rst | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/DOCS/man/osc.rst b/DOCS/man/osc.rst index 7d9a86101c..ecb4d99244 100644 --- a/DOCS/man/osc.rst +++ b/DOCS/man/osc.rst @@ -46,8 +46,8 @@ title | Displays current media-title or filename ============= ================================================ - left-click toggle displaying media-title or filename - right-click show playlist position and length and filename + left-click show playlist position and length and full title + right-click show filename ============= ================================================ cache @@ -239,12 +239,6 @@ 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 |