diff options
| author | wm4 <wm4@nowhere> | 2016-12-21 18:18:24 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-12-21 18:18:24 +0100 |
| commit | b1c0bbe8b8b9d25c2682f29af66ad243e0072897 (patch) | |
| tree | 73a024a69fdfa3707de4e18962e4e1af02226c6d /player/core.h | |
| parent | 1ba352581687548ffc2664b94f831a3dd12d05fa (diff) | |
| download | mpv-b1c0bbe8b8b9d25c2682f29af66ad243e0072897.tar.bz2 mpv-b1c0bbe8b8b9d25c2682f29af66ad243e0072897.tar.xz | |
video: use demuxer-signaled duration for last video frame
Helps with gif, probably does unwanted things with other formats.
This doesn't handle --end quite correctly, but this could be added
later.
Fixes #3924.
Diffstat (limited to 'player/core.h')
| -rw-r--r-- | player/core.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/player/core.h b/player/core.h index 9a71ce33de..5d055482a5 100644 --- a/player/core.h +++ b/player/core.h @@ -353,6 +353,9 @@ typedef struct MPContext { // As video_pts, but is not reset when seeking away. (For the very short // period of time until a new frame is decoded and shown.) double last_vo_pts; + // Frame duration field from demuxer. Only used for duration of the last + // video frame. + double last_frame_duration; // Video PTS, or audio PTS if video has ended. double playback_pts; // audio stats only |