GI.Gdk.Structs.EventExpose

Generated when all or part of a window becomes visible and needs to be redrawn.

Exported types

newtype EventExpose

Memory-managed wrapper type.

Constructors

EventExpose (ManagedPtr EventExpose)

Instances

Eq EventExpose

Defined in GI.Gdk.Structs.EventExpose

Methods

(==) :: EventExpose -> EventExpose -> Bool

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

BoxedPtr EventExpose

Defined in GI.Gdk.Structs.EventExpose

Methods

boxedPtrCopy :: EventExpose -> IO EventExpose

boxedPtrFree :: EventExpose -> IO ()

CallocPtr EventExpose

Defined in GI.Gdk.Structs.EventExpose

Methods

boxedPtrCalloc :: IO (Ptr EventExpose)

ManagedPtrNewtype EventExpose

Defined in GI.Gdk.Structs.EventExpose

Methods

toManagedPtr :: EventExpose -> ManagedPtr EventExpose

tag ~ 'AttrSet => Constructible EventExpose tag

Defined in GI.Gdk.Structs.EventExpose

Methods

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

newZeroEventExpose :: MonadIO m => m EventExpose

Construct a EventExpose struct initialized to zero.

Methods

Properties

area

bounding box of region.

getEventExposeArea :: MonadIO m => EventExpose -> m Rectangle

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

get eventExpose #area

count

the number of contiguous EventTypeExpose events following this one. The only use for this is “exposure compression”, i.e. handling all contiguous EventTypeExpose events in one go, though GDK performs some exposure compression so this is not normally needed.

getEventExposeCount :: MonadIO m => EventExpose -> m Int32

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

get eventExpose #count

setEventExposeCount :: MonadIO m => EventExpose -> Int32 -> m ()

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

set eventExpose [ #count := value ]

region

the region that needs to be redrawn.

clearEventExposeRegion :: MonadIO m => EventExpose -> m ()

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

clear #region

getEventExposeRegion :: MonadIO m => EventExpose -> m (Maybe Region)

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

get eventExpose #region

setEventExposeRegion :: MonadIO m => EventExpose -> Ptr Region -> m ()

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

set eventExpose [ #region := value ]

sendEvent

True if the event was sent explicitly.

getEventExposeSendEvent :: MonadIO m => EventExpose -> m Int8

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

get eventExpose #sendEvent

setEventExposeSendEvent :: MonadIO m => EventExpose -> Int8 -> m ()

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

set eventExpose [ #sendEvent := value ]

type

the type of the event (EventTypeExpose or EventTypeDamage).

getEventExposeType :: MonadIO m => EventExpose -> m EventType

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

get eventExpose #type

setEventExposeType :: MonadIO m => EventExpose -> EventType -> m ()

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

set eventExpose [ #type := value ]

window

the window which received the event.

clearEventExposeWindow :: MonadIO m => EventExpose -> m ()

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

clear #window

getEventExposeWindow :: MonadIO m => EventExpose -> m (Maybe Window)

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

get eventExpose #window

setEventExposeWindow :: MonadIO m => EventExpose -> Ptr Window -> m ()

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

set eventExpose [ #window := value ]