device_removed

Description:

public signal void device_removed (Device device)

Emitted when an input device is removed (e.

g. unplugged).

Parameters:

device

the just removed `GdkDevice`.