diff options
author | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2013-05-31 14:16:27 +0200 |
---|---|---|
committer | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2013-05-31 14:16:27 +0200 |
commit | 25ae58fbbefc543be09c5910fee08017af3623f4 (patch) | |
tree | 8224e413f8c6cc3cfa742c37ec972a40c0dea270 /video/mp_image_pool.h | |
parent | 2c4f5b75c0862871e8a74cb58a32f46e087af050 (diff) | |
download | mpv-25ae58fbbefc543be09c5910fee08017af3623f4.tar.bz2 mpv-25ae58fbbefc543be09c5910fee08017af3623f4.tar.xz |
cocoa_common: fix mouse autohide on MenuBar/Dock interaction
This is needed after last commit. A bug within a bug (yo dawg)! Serious
explaination in the source code comment so that it's not forgotten.
Diffstat (limited to 'video/mp_image_pool.h')
0 files changed, 0 insertions, 0 deletions