gi-gdk-3.0.22: Gdk bindings
CopyrightWill Thompson Iñaki García Etxebarria and Jonas Platte
LicenseLGPL-2.1
MaintainerIñaki García Etxebarria
Safe HaskellNone
LanguageHaskell2010

GI.Gdk.Structs.EventProperty

Description

Describes a property change on a window.

Synopsis

Exported types

newZeroEventProperty :: MonadIO m => m EventProperty Source #

Construct a EventProperty struct initialized to zero.

Methods

Overloaded methods

Properties

atom

the property that was changed.

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

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 Source #

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 () Source #

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 Source #

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

get eventProperty #state

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

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 Source #

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

get eventProperty #time

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

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 Source #

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

get eventProperty #type

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

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 () Source #

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) Source #

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 () Source #

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

set eventProperty [ #window := value ]