device_removed
Description:
public signal void device_removed (
Device device)
The device_removed signal is emitted either when a master pointer is removed, or when a slave (Hardware)
input device is unplugged.
Parameters:
| device |
the just removed Device.
|