device_is_shadowed
Description:
Returns true if device has been shadowed by a GTK+ device grab on another widget, so it would
stop sending events to this.
This may be used in the grab_notify signal to check for specific devices. See device_grab_add.
Parameters:
| this |
a Widget |
| device |
a Device |
Returns:
|
true if there is an ongoing grab on |