diff options
author | Christoph Heinrich <christoph.heinrich@student.tugraz.at> | 2022-09-02 22:24:36 +0200 |
---|---|---|
committer | sfan5 <sfan5@live.de> | 2022-10-28 13:04:32 +0200 |
commit | fd91776207cd6b8d82e09765e0c6e2ec5e23d881 (patch) | |
tree | ac801eedcb44f28090cebb88ea52b3373b3fd721 /.github | |
parent | adb556bf15e9b09afce6c9cb0a0911c53cf27feb (diff) | |
download | mpv-fd91776207cd6b8d82e09765e0c6e2ec5e23d881.tar.bz2 mpv-fd91776207cd6b8d82e09765e0c6e2ec5e23d881.tar.xz |
console: respect the top margin shared script property
Console already respected the bottom margin to not overlap with the
bottom bar from the OSC, but it would still overlap with the window
decorations from the OSC.
Now everything is clipped above the top margin and no superfluous lines
are drawn.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions