diff options
| author | wm4 <wm4@nowhere> | 2020-01-08 00:16:58 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2020-01-08 00:16:58 +0100 |
| commit | 11b9315b3fce4de1fae799d4609c66029d8cc914 (patch) | |
| tree | dd91767bdabd7498ecc1a5665fa9c8b9f68942dd /player/command.c | |
| parent | db9048f21aa955dbd7176d4e8d7245297e97177b (diff) | |
| download | mpv-11b9315b3fce4de1fae799d4609c66029d8cc914.tar.bz2 mpv-11b9315b3fce4de1fae799d4609c66029d8cc914.tar.xz | |
lua: use new OSD property
See previous commit.
A nice side-effect is that mp.get_osd_margins() is not a special
Lua-only thing anymore. I didn't test whether this function still works
as expected, though.
Diffstat (limited to 'player/command.c')
0 files changed, 0 insertions, 0 deletions