Device
Manager_
Device
Removed
Signal
Callback
GJS API Reference
Clutter-1.0
Clutter
DeviceManager_DeviceRemovedSignalCallback
Interface DeviceManager_DeviceRemovedSignalCallback
Hierarchy
DeviceManager_DeviceRemovedSignalCallback
Callable
Device
Manager_
Device
Removed
Signal
Callback
(
$obj
:
Clutter
.
DeviceManager
, device
:
InputDevice
)
:
void
Signal callback interface for
device-removed
Parameters
$obj:
Clutter
.
DeviceManager
device:
InputDevice
Returns
void
Device
Manager_
Device
Removed
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IkNsdXR0ZXJfMV8wLkNsdXR0ZXIuRGV2aWNlTWFuYWdlcl9EZXZpY2VSZW1vdmVkU2lnbmFsQ2FsbGJhY2suaHRtbCIsIm5hbWUiOiJEZXZpY2VNYW5hZ2VyX0RldmljZVJlbW92ZWRTaWduYWxDYWxsYmFjayJ9
Signal callback interface for
device-removed