GI.Gdk.Structs.EventProperty

Describes a property change on a window.

Exported types

newtype EventProperty

Memory-managed wrapper type.

Constructors

EventProperty (ManagedPtr EventProperty)

Instances

WrappedPtr EventProperty

Defined in GI.Gdk.Structs.EventProperty

Methods

wrappedPtrCalloc :: IO (Ptr EventProperty)

wrappedPtrCopy :: EventProperty -> IO EventProperty

wrappedPtrFree :: Maybe (GDestroyNotify EventProperty)

tag ~ AttrSet => Constructible EventProperty tag

Defined in GI.Gdk.Structs.EventProperty

Methods

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

newZeroEventProperty :: MonadIO m => m EventProperty

Construct a EventProperty struct initialized to zero.

noEventProperty :: Maybe EventProperty

A convenience alias for Nothing :: Maybe EventProperty.

Properties

atom

the property that was changed.

getEventPropertyAtom :: MonadIO m => EventProperty -> m Atom

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

get eventProperty #atom

sendEvent

True if the event was sent explicitly.

getEventPropertySendEvent :: MonadIO m => EventProperty -> m Int8

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

get eventProperty #sendEvent

setEventPropertySendEvent :: MonadIO m => EventProperty -> Int8 -> m ()

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

set eventProperty [ #sendEvent := value ]

state

whether the property was changed (PropertyStateNewValue) or deleted (PropertyStateDelete).

getEventPropertyState :: MonadIO m => EventProperty -> m PropertyState

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

get eventProperty #state

setEventPropertyState :: MonadIO m => EventProperty -> PropertyState -> m ()

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

set eventProperty [ #state := value ]

time

the time of the event in milliseconds.

getEventPropertyTime :: MonadIO m => EventProperty -> m Word32

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

get eventProperty #time

setEventPropertyTime :: MonadIO m => EventProperty -> Word32 -> m ()

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

set eventProperty [ #time := value ]

type

the type of the event (EventTypePropertyNotify).

getEventPropertyType :: MonadIO m => EventProperty -> m EventType

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

get eventProperty #type

setEventPropertyType :: MonadIO m => EventProperty -> EventType -> m ()

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

set eventProperty [ #type := value ]

window

the window which received the event.

clearEventPropertyWindow :: MonadIO m => EventProperty -> m ()

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

clear #window

getEventPropertyWindow :: MonadIO m => EventProperty -> m (Maybe Window)

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

get eventProperty #window

setEventPropertyWindow :: MonadIO m => EventProperty -> Ptr Window -> m ()

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

set eventProperty [ #window := value ]