API Version: 4.0
Library Version: 4.2.0
final class Gdk.ProximityEvent : GObject.TypeInstance { /* No available fields */ }
An event related to the proximity of a tool to a device.