Graphics.UI.Gtk.Gdk.EventM
Detail
Event monad and type tags
type
EventM
t a
data
EAny
data
EKey
data
EButton
data
EScroll
data
EMotion
data
EExpose
data
EVisibility
data
ECrossing
data
EFocus
data
EConfigure
data
EProperty
data
EProximity
data
EWindowState
data
EOwnerChange
data
EGrabBroken
Accessor functions for event information
eventWindow
eventSent
eventCoordinates
eventRootCoordinates
eventModifier
eventModifierAll
eventTime
eventKeyVal
eventKeyName
eventHardwareKeycode
eventKeyboardGroup
data
MouseButton
eventButton
data
ScrollDirection
eventScrollDirection
eventIsHint
eventArea
eventRegion
data
VisibilityState
eventVisibilityState
data
CrossingMode
eventCrossingMode
data
NotifyType
eventNotifyType
eventCrossingFocus
eventFocusIn
eventPosition
eventSize
eventProperty
data
WindowState
eventWindowStateChanged
eventWindowState
data
OwnerChange
eventChangeReason
eventSelection
eventSelectionTime
eventKeyboardGrab
eventImplicit
eventGrabWindow
Auxilliary Definitions
data
Modifier
type
TimeStamp
currentTime
tryEvent
stopEvent