[ Version ( since = "3.0" ) ]
public void set_device_events (Device device, EventMask events)
Sets the device event mask (see EventMask) for a widget.
The event mask determines which events a widget will receive from device. Keep in mind that different widgets have
different default event masks, and by changing the event mask you may disrupt a widget’s functionality, so be careful. This function
must be called while a widget is unrealized. Consider add_device_events for
widgets that are already realized, or if you want to preserve the existing event mask. This function can’t be used with windowless
widgets (which return false from get_has_window
); to get events on those widgets, place them inside a EventBox and receive events on
the event box.
| this |
a Widget |
| device |
a Device |
| events |
event mask |