GI.Gdk.Structs.EventProximity

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.

Exported types

newtype EventProximity

Memory-managed wrapper type.

Constructors

EventProximity (ManagedPtr EventProximity)

Instances

Eq EventProximity

Defined in GI.Gdk.Structs.EventProximity

Methods

(==) :: EventProximity -> EventProximity -> Bool

(/=) :: EventProximity -> EventProximity -> Bool

BoxedPtr EventProximity

Defined in GI.Gdk.Structs.EventProximity

Methods

boxedPtrCopy :: EventProximity -> IO EventProximity

boxedPtrFree :: EventProximity -> IO ()

CallocPtr EventProximity

Defined in GI.Gdk.Structs.EventProximity

Methods

boxedPtrCalloc :: IO (Ptr EventProximity)

ManagedPtrNewtype EventProximity

Defined in GI.Gdk.Structs.EventProximity

Methods

toManagedPtr :: EventProximity -> ManagedPtr EventProximity

tag ~ 'AttrSet => Constructible EventProximity tag

Defined in GI.Gdk.Structs.EventProximity

Methods

new :: MonadIO m => (ManagedPtr EventProximity -> EventProximity) -> [AttrOp EventProximity tag] -> m EventProximity

newZeroEventProximity :: MonadIO m => m EventProximity

Construct a EventProximity struct initialized to zero.

Methods

Properties

device

the master device that the event originated from. Use eventGetSourceDevice to get the slave device.

clearEventProximityDevice :: MonadIO m => EventProximity -> m ()

Set the value of the “device” field to Nothing. When overloading is enabled, this is equivalent to

clear #device

getEventProximityDevice :: MonadIO m => EventProximity -> m (Maybe Device)

Get the value of the “device” field. When overloading is enabled, this is equivalent to

get eventProximity #device

setEventProximityDevice :: MonadIO m => EventProximity -> Ptr Device -> m ()

Set the value of the “device” field. When overloading is enabled, this is equivalent to

set eventProximity [ #device := value ]

sendEvent

True if the event was sent explicitly.

getEventProximitySendEvent :: MonadIO m => EventProximity -> m Int8

Get the value of the “send_event” field. When overloading is enabled, this is equivalent to

get eventProximity #sendEvent

setEventProximitySendEvent :: MonadIO m => EventProximity -> Int8 -> m ()

Set the value of the “send_event” field. When overloading is enabled, this is equivalent to

set eventProximity [ #sendEvent := value ]

time

the time of the event in milliseconds.

getEventProximityTime :: MonadIO m => EventProximity -> m Word32

Get the value of the “time” field. When overloading is enabled, this is equivalent to

get eventProximity #time

setEventProximityTime :: MonadIO m => EventProximity -> Word32 -> m ()

Set the value of the “time” field. When overloading is enabled, this is equivalent to

set eventProximity [ #time := value ]

type

the type of the event (EventTypeProximityIn or EventTypeProximityOut).

getEventProximityType :: MonadIO m => EventProximity -> m EventType

Get the value of the “type” field. When overloading is enabled, this is equivalent to

get eventProximity #type

setEventProximityType :: MonadIO m => EventProximity -> EventType -> m ()

Set the value of the “type” field. When overloading is enabled, this is equivalent to

set eventProximity [ #type := value ]

window

the window which received the event.

clearEventProximityWindow :: MonadIO m => EventProximity -> m ()

Set the value of the “window” field to Nothing. When overloading is enabled, this is equivalent to

clear #window

getEventProximityWindow :: MonadIO m => EventProximity -> m (Maybe Window)

Get the value of the “window” field. When overloading is enabled, this is equivalent to

get eventProximity #window

setEventProximityWindow :: MonadIO m => EventProximity -> Ptr Window -> m ()

Set the value of the “window” field. When overloading is enabled, this is equivalent to

set eventProximity [ #window := value ]