GdkEvent.proximity

a #GdkEventProximity

union GdkEvent
GdkEventProximity proximity;