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