mirror of https://github.com/mpv-player/mpv
a0441ddb5e
The window-scale property mirrors the respective option (not the
effective scale derived from the current window size), and as such
setting its value to the same value it had before has no effect.
Specifically - the window will not resize.
This is consistent as far as property-option bridge behavior goes,
but we do end up with an issue that we can't set an arbitrary scale
and expect the window to always resize accordingly.
We do also have a current-window-scale property which does reflect
the actual window size, however, it's been read-only till now.
This commit makes current-window-scale RW so that it's now always
possible to set an arbitrary scale and expect the window to resize
accordingly (without affecting window-scale - like manual resize).
Also, mention window-scale no-effect-if-not-changed at the docs.
Based on code by @Dudemanguy from commit
|
||
---|---|---|
.. | ||
_mpv.zsh | ||
builtin.conf | ||
encoding-profiles.conf | ||
input.conf | ||
mplayer-input.conf | ||
mpv-gradient.svg | ||
mpv-icon-8bit-16x16.png | ||
mpv-icon-8bit-32x32.png | ||
mpv-icon-8bit-64x64.png | ||
mpv-icon-8bit-128x128.png | ||
mpv-icon.ico | ||
mpv-symbolic.svg | ||
mpv.bash-completion | ||
mpv.conf | ||
mpv.desktop | ||
mpv.svg | ||
restore-old-bindings.conf |