diff options
| author | wm4 <wm4@nowhere> | 2019-12-18 09:03:32 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2019-12-18 09:03:32 +0100 |
| commit | 4787eb594a879619b9acd266bac015bfd0032c50 (patch) | |
| tree | a632552c3d4c15b8ecefada572d0892e8ae35e5b /wscript | |
| parent | 7e4819e705d2f046de06fcff53ce151d835bbdad (diff) | |
| download | mpv-4787eb594a879619b9acd266bac015bfd0032c50.tar.bz2 mpv-4787eb594a879619b9acd266bac015bfd0032c50.tar.xz | |
osc: make margins available
This is for console.lua (see next commit). The idea is that console.lua
can adjust its offset to the bottom of the window by the height of the
OSC.
If the OSC is not set to permanently visible, export no margins, because
it would look weird to move the console depending on the mouse movement.
Diffstat (limited to 'wscript')
0 files changed, 0 insertions, 0 deletions