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 a0bc600140
commit a1955e8d88

View File

@ -1494,8 +1494,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;