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 /DOCS/man/options.rst | |
| 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 'DOCS/man/options.rst')
0 files changed, 0 insertions, 0 deletions