diff options
author | ossifrage <82336322+ossifrage@users.noreply.github.com> | 2021-04-15 09:44:23 -0700 |
---|---|---|
committer | avih <avih@users.noreply.github.com> | 2021-04-27 14:12:05 +0300 |
commit | 0d384592c57771a0371399783238c490def1b231 (patch) | |
tree | a20c47bc11dd9fd65a7cdeb346a5fd88ebcd0aa6 /wscript_build.py | |
parent | 61a387ac952d8334f26dd2d2efe150bcdcbbaafa (diff) | |
download | mpv-0d384592c57771a0371399783238c490def1b231.tar.bz2 mpv-0d384592c57771a0371399783238c490def1b231.tar.xz |
osc: reset margins when using boxvideo with showfullscreen/showwindowed
This fixes a bug where using boxvideo with showfullscreen=no or
showwindowed=no resulted in the margins not resetting when the OSC
wasn't visible.
For example, using:
script-opts=osc-visibility=always,osc-boxvideo=yes,osc-showfullscreen=no
and then going fullscreen would make the OSC disappear but the video
margins would remain. This is because boxvideo was missing a dependence
on the showfullscreen and showwindowed user options.
This is fixed by adding the corresponding conditions to update_margins()
and setting state.marginsREQ on fullscreen changes. update_margins() is
called on tick() if there's a margins update pending, which guarantees
the boxvideo margins are reset appropriately.
Diffstat (limited to 'wscript_build.py')
0 files changed, 0 insertions, 0 deletions