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.