diff options
| author | Ricardo Constantino <wiiaboo@gmail.com> | 2016-12-01 21:59:27 +0000 |
|---|---|---|
| committer | Ricardo Constantino <wiiaboo@gmail.com> | 2016-12-02 16:59:40 +0000 |
| commit | 796b48b2a32219cfd82a8eab11bb5996dcbc40ca (patch) | |
| tree | 6724c8413b4052a3d60d2ec9ad87ab0aee4a4290 /wscript | |
| parent | a7a919f93f966f5ba5b4c5a9117ad136b8447d4d (diff) | |
| download | mpv-796b48b2a32219cfd82a8eab11bb5996dcbc40ca.tar.bz2 mpv-796b48b2a32219cfd82a8eab11bb5996dcbc40ca.tar.xz | |
osc: don't hide playlist buttons, just disable
Having empty space before the title in layout=*bar looks worse
than the floating buttons in layout=box.
Also disable both playlist buttons selectively according to the
current position.
Diffstat (limited to 'wscript')
0 files changed, 0 insertions, 0 deletions