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