diff options
| author | wm4 <wm4@nowhere> | 2018-01-23 23:52:58 +0100 |
|---|---|---|
| committer | Kevin Mitchell <kevmitch@gmail.com> | 2018-01-25 20:18:32 -0800 |
| commit | 3dd5621cecdd41c86117d70f93a24aede5e50bbc (patch) | |
| tree | 872b81daa1d7d9894df4e0cb4a7dbb0bf1c3c5f8 /audio/out | |
| parent | 04be2b43ecb7195a581cfa11aace20a79dfbd416 (diff) | |
| download | mpv-3dd5621cecdd41c86117d70f93a24aede5e50bbc.tar.bz2 mpv-3dd5621cecdd41c86117d70f93a24aede5e50bbc.tar.xz | |
command: make sure to redraw on overlay commands
When overlay-add etc. is run, make sure the playlop is rerun so that it
considers actually redrawing the screen.
(I considered making the OSD code generally wakeup the player, but that
will probably lead to redundant wakeups, so I didn't bother.)
Fixes #5431.
Diffstat (limited to 'audio/out')
0 files changed, 0 insertions, 0 deletions