device_removed


Description:

public signal void device_removed (InputDevice device)

The device_removed signal is emitted each time a device has been removed from the DeviceManager

Parameters:

device

the removed InputDevice




2022 vala-language.org