I just saw references to this bug being fixed: http://bugzilla.gnome.org/show_bug.cgi?id=56070 IIRC we have code to query the mouse pointer to work around this bug. At least we used to have that... Anyway, I just thought I'd log the issue here, so we might be able to remove some hacks from our code when this becomes part of a released GTK version. Now, let's hope I remember to close this one when the issue is fixed...
I think this is in 2.10.