workspaceview: don't auto-hide if cursor is still hovering overview

This commit is contained in:
Rico Tzschichholz 2012-09-23 21:02:03 +02:00
parent a9992dc193
commit e170fe22bf

View File

@ -231,7 +231,7 @@ namespace Gala
public override bool leave_event (Clutter.CrossingEvent event)
{
if (!contains (event.related))
if (event.x < x || event.y < y || event.x > x + width || event.y > y + height)
hide ();
return false;