[ Version ( since = "3.0" ) ]
public void set_device_enabled (Device device, bool enabled)
Enables or disables a Device to interact with this and all its children.
It does so by descending through the Window hierarchy and enabling the same mask that is has for core events (i.e. the one that get_events returns).
| this |
a Widget |
| device |
a Device |
| enabled |
whether to enable the device |