diff options
author | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2013-08-25 23:26:01 +0200 |
---|---|---|
committer | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2013-08-26 20:01:20 +0200 |
commit | d3c4ba3ab824f4625c41270744249f50dba55acb (patch) | |
tree | e96a36ca9b4f6520e8687efc236466e1f12ca5ce /video/out/wayland_common.c | |
parent | 75791f4dd98d15a074f59a567e53d31ef486bdd5 (diff) | |
download | mpv-d3c4ba3ab824f4625c41270744249f50dba55acb.tar.bz2 mpv-d3c4ba3ab824f4625c41270744249f50dba55acb.tar.xz |
cocoa_common: autohide dock when autohiding menubar
A cocoa bug doesn't allow to do otherwise. Will open a radar later.
Diffstat (limited to 'video/out/wayland_common.c')
0 files changed, 0 insertions, 0 deletions