ProximityEvent
open class ProximityEvent(pointer: <Error class: unknown class><<Error class: unknown class>>) : Event
An event related to the proximity of a tool to a device.
Constructors
Functions
Link copied to clipboard
Returns a GdkDeviceTool
representing the tool that caused the event.
Link copied to clipboard
Retrieves the display associated to the @event.
Link copied to clipboard
Returns the event sequence to which the event belongs.
Link copied to clipboard
Retrieves the type of the event.
Link copied to clipboard
Returns the modifier state field of an event.
Link copied to clipboard
Returns whether this event is an 'emulated' pointer event.
Link copied to clipboard
Extracts the surface associated with an event.
Link copied to clipboard
Returns whether a GdkEvent
should trigger a context menu, according to platform conventions.