Gdk.Event.get_device – gtk4 Reference Manual
get_device
Description:
public
unowned
Device
?
get_device
()
Returns the device of an event.
Parameters:
this
a `GdkEvent`.
Returns:
a `GdkDevice`
2022 vala-language.org