Viewing all changes in revision 838.
- Committer: Rico Tzschichholz
- Date: 2013-06-09 05:11:28 UTC
- Revision ID: ricotz@ubuntu.com-20130609051128-tou37dj8h16xzeru
hidemanager: Properly check if the dock is still hovered
Call update_dock_hovered instead of directly setting DockHovered=false
which is wrong in some cases.
Also ignore Crossing-Events of NotifyType.INFERIOR.
Call update_dock_hovered instead of directly setting DockHovered=false
which is wrong in some cases.
Also ignore Crossing-Events of NotifyType.INFERIOR.
- files modified:
- lib/HideManager.vala
expand all
collapse all
added
removed
