diff options
| author | wm4 <wm4@nowhere> | 2016-06-12 12:52:35 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-06-12 12:52:35 +0200 |
| commit | 0b082b2086d69019edf116bb162a46d3932aefcb (patch) | |
| tree | c28c541f7607493216b870cfa21edf8016b828f3 /audio | |
| parent | bb9aad097a0e9eaa71ac92890fc9d2176f74911d (diff) | |
| download | mpv-0b082b2086d69019edf116bb162a46d3932aefcb.tar.bz2 mpv-0b082b2086d69019edf116bb162a46d3932aefcb.tar.xz | |
player: fix previous commit
Of course we can't just skip updating the OSD if the playloop was woken
up for the purpose of removing OSD after an OSD timer expired.
Fixes e.g. OSD bars sometimes sticking along when seeking while paused.
Diffstat (limited to 'audio')
0 files changed, 0 insertions, 0 deletions