Gdk.Seat.device_removed – gtk4 Reference Manual
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`.
2022 vala-language.org