Reset cursor when mouse leaves a toplevel window.

Fixes https://bugzilla.gnome.org/show_bug.cgi?id=692548
This commit is contained in:
Daniel Sabo
2013-08-08 09:36:28 -05:00
committed by Cody Russell
parent 91bcca6f39
commit 80aabf4f1c

View File

@ -1479,8 +1479,11 @@ gdk_event_translate (GdkEvent *event,
}
break;
case NSMouseEntered:
case NSMouseExited:
if (WINDOW_IS_TOPLEVEL (window))
[[NSCursor arrowCursor] set];
/* fall through */
case NSMouseEntered:
return_val = synthesize_crossing_event (window, event, nsevent, x, y, x_root, y_root);
break;