[ 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 |