~zeitgeist/plank/zeitgeist

Viewing all changes in revision 970.

  • 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.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: