diff options
author | wm4 <wm4@nowhere> | 2014-10-03 21:57:16 +0200 |
---|---|---|
committer | Alessandro Ghedini <alessandro@ghedini.me> | 2014-10-11 13:55:27 +0200 |
commit | e4f6235a47b7328f9931a0290ce811f1494c9867 (patch) | |
tree | 20bcf384350daf15c495cb226f33bb0a63a085fc /options/m_property.c | |
parent | 89df07aa6d9aac332b3f03fbc283e9d6c35d3e7e (diff) | |
download | mpv-e4f6235a47b7328f9931a0290ce811f1494c9867.tar.bz2 mpv-e4f6235a47b7328f9931a0290ce811f1494c9867.tar.xz |
player: properly wakeup when delaying OSD
Not sure in which situations this could make a difference; probably
none in practice, but it's more correct.
CC: @mpv-player/stable
Diffstat (limited to 'options/m_property.c')
0 files changed, 0 insertions, 0 deletions