set_device_enabled


Description:

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

Parameters:

this

a Widget

device

a Device

enabled

whether to enable the device