-
Committer:
Rico Tzschichholz
-
Date:
2014-02-11 11:58:34 UTC
-
Revision ID:
ricotz@ubuntu.com-20140211115834-cmypu59622xllq1j
hidemanager: No need to listen to motion-events
Handling enter/leave events seems to be enough to determine the info we
need to properly hide and unhide the dock.