module GdkEnums: sig
.. end
gdk enums
type
event_type = [ `BUTTON_PRESS
| `BUTTON_RELEASE
| `CLIENT_EVENT
| `CONFIGURE
| `DELETE
| `DESTROY
| `DRAG_ENTER
| `DRAG_LEAVE
| `DRAG_MOTION
| `DRAG_STATUS
| `DROP_FINISHED
| `DROP_START
| `ENTER_NOTIFY
| `EXPOSE
| `FOCUS_CHANGE
| `KEY_PRESS
| `KEY_RELEASE
| `LEAVE_NOTIFY
| `MAP
| `MOTION_NOTIFY
| `NOTHING
| `NO_EXPOSE
| `PROPERTY_NOTIFY
| `PROXIMITY_IN
| `PROXIMITY_OUT
| `SCROLL
| `SELECTION_CLEAR
| `SELECTION_NOTIFY
| `SELECTION_REQUEST
| `SETTING
| `THREE_BUTTON_PRESS
| `TWO_BUTTON_PRESS
| `UNMAP
| `VISIBILITY_NOTIFY
| `WINDOW_STATE ]
type
event_mask = [ `ALL_EVENTS
| `BUTTON1_MOTION
| `BUTTON2_MOTION
| `BUTTON3_MOTION
| `BUTTON_MOTION
| `BUTTON_PRESS
| `BUTTON_RELEASE
| `ENTER_NOTIFY
| `EXPOSURE
| `FOCUS_CHANGE
| `KEY_PRESS
| `KEY_RELEASE
| `LEAVE_NOTIFY
| `POINTER_MOTION
| `POINTER_MOTION_HINT
| `PROPERTY_CHANGE
| `PROXIMITY_IN
| `PROXIMITY_OUT
| `SCROLL
| `STRUCTURE
| `SUBSTRUCTURE
| `VISIBILITY_NOTIFY ]
type
extension_mode = [ `ALL | `CURSOR | `NONE ]
type
visibility_state = [ `FULLY_OBSCURED | `PARTIAL | `UNOBSCURED ]
type
input_source = [ `CURSOR | `ERASER | `MOUSE | `PEN ]
type
scroll_direction = [ `DOWN | `LEFT | `RIGHT | `UP ]
type
crossing_mode = [ `GRAB | `NORMAL | `UNGRAB ]
type
notify_type = [ `ANCESTOR
| `INFERIOR
| `NONLINEAR
| `NONLINEAR_VIRTUAL
| `UNKNOWN
| `VIRTUAL ]
type
setting_action = [ `CHANGED | `DELETED | `NEW ]
type
window_state = [ `FULLSCREEN | `ICONIFIED | `MAXIMIZED | `STICKY | `WITHDRAWN ]
type
fill_rule = [ `EVEN_ODD_RULE | `WINDING_RULE ]
type
overlap_type = [ `IN | `OUT | `PART ]
type
function_type = [ `COPY | `INVERT | `XOR ]
type
fill = [ `OPAQUE_STIPPLED | `SOLID | `STIPPLED | `TILED ]
type
subwindow_mode = [ `CLIP_BY_CHILDREN | `INCLUDE_INFERIORS ]
type
line_style = [ `DOUBLE_DASH | `ON_OFF_DASH | `SOLID ]
type
cap_style = [ `BUTT | `NOT_LAST | `PROJECTING | `ROUND ]
type
join_style = [ `BEVEL | `MITER | `ROUND ]
type
modifier = [ `BUTTON1
| `BUTTON2
| `BUTTON3
| `BUTTON4
| `BUTTON5
| `CONTROL
| `LOCK
| `MOD1
| `MOD2
| `MOD3
| `MOD4
| `MOD5
| `SHIFT ]
type
image_type = [ `FASTEST | `NORMAL | `SHARED ]
type
visual_type = [ `DIRECT_COLOR
| `GRAYSCALE
| `PSEUDO_COLOR
| `STATIC_COLOR
| `STATIC_GRAY
| `TRUE_COLOR ]
type
font_type = [ `FONT | `FONTSET ]
type
drag_action = [ `ASK | `COPY | `DEFAULT | `LINK | `MOVE | `PRIVATE ]
type
rgb_dither = [ `MAX | `NONE | `NORMAL ]
type
xdata = [ `BYTES | `INT32S | `NONE | `SHORTS ]
type
property_state = [ `DELETE | `NEW_VALUE ]
type
property_mode = [ `APPEND | `PREPEND | `REPLACE ]
type
gravity = [ `CENTER
| `EAST
| `NORTH
| `NORTH_EAST
| `NORTH_WEST
| `SOUTH
| `SOUTH_EAST
| `SOUTH_WEST
| `STATIC
| `WEST ]
type
window_type_hint = [ `DESKTOP
| `DIALOG
| `DOCK
| `MENU
| `NORMAL
| `SPLASHSCREEN
| `TOOLBAR
| `UTILITY ]
type
cursor_type = [ `ARROW
| `BASED_ARROW_DOWN
| `BASED_ARROW_UP
| `BOAT
| `BOGOSITY
| `BOTTOM_LEFT_CORNER
| `BOTTOM_RIGHT_CORNER
| `BOTTOM_SIDE
| `BOTTOM_TEE
| `BOX_SPIRAL
| `CENTER_PTR
| `CIRCLE
| `CLOCK
| `COFFEE_MUG
| `CROSS
| `CROSSHAIR
| `CROSS_REVERSE
| `DIAMOND_CROSS
| `DOT
| `DOTBOX
| `DOUBLE_ARROW
| `DRAFT_LARGE
| `DRAFT_SMALL
| `DRAPED_BOX
| `EXCHANGE
| `FLEUR
| `GOBBLER
| `GUMBY
| `HAND1
| `HAND2
| `HEART
| `ICON
| `IRON_CROSS
| `LEFTBUTTON
| `LEFT_PTR
| `LEFT_SIDE
| `LEFT_TEE
| `LL_ANGLE
| `LR_ANGLE
| `MAN
| `MIDDLEBUTTON
| `MOUSE
| `PENCIL
| `PIRATE
| `PLUS
| `QUESTION_ARROW
| `RIGHTBUTTON
| `RIGHT_PTR
| `RIGHT_SIDE
| `RIGHT_TEE
| `RTL_LOGO
| `SAILBOAT
| `SB_DOWN_ARROW
| `SB_H_DOUBLE_ARROW
| `SB_LEFT_ARROW
| `SB_RIGHT_ARROW
| `SB_UP_ARROW
| `SB_V_DOUBLE_ARROW
| `SHUTTLE
| `SIZING
| `SPIDER
| `SPRAYCAN
| `STAR
| `TARGET
| `TCROSS
| `TOP_LEFT_ARROW
| `TOP_LEFT_CORNER
| `TOP_RIGHT_CORNER
| `TOP_SIDE
| `TOP_TEE
| `TREK
| `UL_ANGLE
| `UMBRELLA
| `UR_ANGLE
| `WATCH
| `XTERM
| `X_CURSOR ]