device_changed


Description:

public signal void device_changed (Device device)

The device_changed signal is emitted whenever a device has changed in the hierarchy, either slave devices being disconnected from their master device or connected to another one, or master devices being added or removed a slave device.

If a slave device is detached from all master devices ( get_associated_device returns null), its DeviceType will change to gdk_device_type_floating, if it's attached, it will change to gdk_device_type_slave.

Parameters:

device

the Device that changed.




2022 vala-language.org