EventProximityProtocol
public protocol EventProximityProtocolThe EventProximityProtocol protocol exposes the methods and properties of an underlying GdkEventProximity instance.
The default implementation of these can be found in the protocol extension below.
For a concrete class that implements these methods and properties, see EventProximity.
Alternatively, use EventProximityRef as a lighweight, unowned reference if you already have an instance you just want to use.
Proximity events are generated when using GDK’s wrapper for the XInput extension. The XInput extension is an add-on for standard X that allows you to use nonstandard devices such as graphics tablets. A proximity event indicates that the stylus has moved in or out of contact with the tablet, or perhaps that the user’s finger has moved in or out of contact with a touch screen.
This event type will be used pretty rarely. It only is important for XInput aware programs that are drawing their own cursor.
- 
                  
                  Untyped pointer to the underlying GdkEventProximityinstance.DeclarationSwift var ptr: UnsafeMutableRawPointer! { get }
- 
                  _ptrDefault implementationTyped pointer to the underlying GdkEventProximityinstance.Default ImplementationReturn the stored, untyped pointer as a typed pointer to the GdkEventProximityinstance.DeclarationSwift var _ptr: UnsafeMutablePointer<GdkEventProximity>! { get }
- 
                  
                  Required Initialiser for types conforming to EventProximityProtocolDeclarationSwift init(raw: UnsafeMutableRawPointer)
- 
                  typeExtension methodthe type of the event ( GDK_PROXIMITY_INorGDK_PROXIMITY_OUT).DeclarationSwift @inlinable var type: GdkEventType { get set }
- 
                  windowExtension methodthe window which received the event. DeclarationSwift @inlinable var window: WindowRef! { get set }
- 
                  sendEventExtension methodtrueif the event was sent explicitly.DeclarationSwift @inlinable var sendEvent: gint8 { get set }
- 
                  timeExtension methodthe time of the event in milliseconds. DeclarationSwift @inlinable var time: guint32 { get set }
- 
                  deviceExtension methodthe master device that the event originated from. Use gdk_event_get_source_device()to get the slave device.DeclarationSwift @inlinable var device: DeviceRef! { get set }
 View on GitHub
            View on GitHub
           Install in Dash
            Install in Dash
           EventProximityProtocol Protocol Reference
      EventProximityProtocol Protocol Reference