diff options
author | Dudemanguy <random342@airmail.cc> | 2023-08-10 18:53:45 -0500 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2023-08-13 19:58:20 +0000 |
commit | c62b45ec2ab020dad04a95aff3c85aab631b1f32 (patch) | |
tree | 3c3c41ef746155f0d7687e2266abac47c00292c9 /DOCS/man/options.rst | |
parent | 6ea08be59ac503f7309a19a50d5e664426e8c9f3 (diff) | |
download | mpv-c62b45ec2ab020dad04a95aff3c85aab631b1f32.tar.bz2 mpv-c62b45ec2ab020dad04a95aff3c85aab631b1f32.tar.xz |
player: add --term-remaining-playtime option
The OSC reports the speed-adjusted remaining time, but the terminal does
not. This is a weird mismatch and the OSC's default behavior makes
sense, so let's just do some division and add an option to disable it.
Also named "remaining-playtime" after the OSC option. Fixes #10445.
Diffstat (limited to 'DOCS/man/options.rst')
-rw-r--r-- | DOCS/man/options.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 9a6d18cff3..8616dded9e 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -4787,6 +4787,10 @@ Terminal See `Property Expansion`_. +``--term-remaining-playtime``, ``--no-term-remaining-playtime`` + When printing out the time on the terminal, show the remaining time adjusted by + playback speed. Default: ``yes`` + ``--term-status-msg=<string>`` Print out a custom string during playback instead of the standard status line. Expands properties. See `Property Expansion`_. |