diff options
| author | Ricardo Garcia <commits@rg3.name> | 2020-05-01 20:24:44 +0200 |
|---|---|---|
| committer | wm4 <1387750+wm4@users.noreply.github.com> | 2020-05-01 20:48:16 +0200 |
| commit | d061f28397937f0eae8fc7ba3b13913bbf29a9b7 (patch) | |
| tree | aaa0121b06c8816eab1fb25be8d1057c1af18a96 /DOCS | |
| parent | 92db8731dd5ef700c7a7b96cf5f2f5aebc6d3d88 (diff) | |
| download | mpv-d061f28397937f0eae8fc7ba3b13913bbf29a9b7.tar.bz2 mpv-d061f28397937f0eae8fc7ba3b13913bbf29a9b7.tar.xz | |
player: round position percentage to the nearest integer
This brings the displayed percentage closer to the exact number and
allows mpv to more frequently display 100% when it finishes playing a
typical video or audio file.
Diffstat (limited to 'DOCS')
0 files changed, 0 insertions, 0 deletions