Gdk.EventProximity.device – gdk-2.0 Reference Manual
Packages
gdk-2.0
Gdk
EventProximity
device
send_event
time
type
window
device
Description:
public
unowned
Device
device