package lablgtk3

  1. Overview
  2. Docs
package lablgtk3
Legend:
Library
Module
Module type
Parameter
Class
Class type

gdk enums

type event_type = [
  1. | `NOTHING
  2. | `DELETE
  3. | `DESTROY
  4. | `EXPOSE
  5. | `MOTION_NOTIFY
  6. | `BUTTON_PRESS
  7. | `TWO_BUTTON_PRESS
  8. | `THREE_BUTTON_PRESS
  9. | `BUTTON_RELEASE
  10. | `KEY_PRESS
  11. | `KEY_RELEASE
  12. | `ENTER_NOTIFY
  13. | `LEAVE_NOTIFY
  14. | `FOCUS_CHANGE
  15. | `CONFIGURE
  16. | `MAP
  17. | `UNMAP
  18. | `PROPERTY_NOTIFY
  19. | `SELECTION_CLEAR
  20. | `SELECTION_REQUEST
  21. | `SELECTION_NOTIFY
  22. | `PROXIMITY_IN
  23. | `PROXIMITY_OUT
  24. | `DRAG_ENTER
  25. | `DRAG_LEAVE
  26. | `DRAG_MOTION
  27. | `DRAG_STATUS
  28. | `DROP_START
  29. | `DROP_FINISHED
  30. | `CLIENT_EVENT
  31. | `VISIBILITY_NOTIFY
  32. | `SCROLL
  33. | `WINDOW_STATE
  34. | `SETTING
  35. | `OWNER_CHANGE
  36. | `GRAB_BROKEN
  37. | `DAMAGE
  38. | `TOUCH_BEGIN
  39. | `TOUCH_UPDATE
  40. | `TOUCH_END
  41. | `TOUCH_CANCEL
  42. | `TOUCHPAD_SWIPE
  43. | `TOUCHPAD_PINCH
]
type visibility_state = [
  1. | `UNOBSCURED
  2. | `PARTIAL
  3. | `FULLY_OBSCURED
]
type touchpad_gesture_phase = [
  1. | `BEGIN
  2. | `UPDATE
  3. | `END
  4. | `CANCEL
]
type scroll_direction = [
  1. | `UP
  2. | `DOWN
  3. | `LEFT
  4. | `RIGHT
  5. | `SMOOTH
]
type crossing_mode = [
  1. | `NORMAL
  2. | `GRAB
  3. | `UNGRAB
  4. | `GTK_GRAB
  5. | `GTK_UNGRAB
  6. | `STATE_CHANGED
  7. | `TOUCH_BEGIN
  8. | `TOUCH_END
  9. | `DEVICE_SWITCH
]
type notify_type = [
  1. | `ANCESTOR
  2. | `VIRTUAL
  3. | `INFERIOR
  4. | `NONLINEAR
  5. | `NONLINEAR_VIRTUAL
  6. | `UNKNOWN
]
type setting_action = [
  1. | `NEW
  2. | `CHANGED
  3. | `DELETED
]
type owner_change = [
  1. | `NEW_OWNER
  2. | `DESTROY
  3. | `CLOSE
]
type window_state = [
  1. | `WITHDRAWN
  2. | `ICONIFIED
  3. | `MAXIMIZED
  4. | `STICKY
  5. | `FULLSCREEN
  6. | `ABOVE
  7. | `BELOW
  8. | `FOCUSED
  9. | `TILED
]
type input_source = [
  1. | `MOUSE
  2. | `PEN
  3. | `ERASER
  4. | `CURSOR
  5. | `KEYBOARD
  6. | `TOUCHSCREEN
  7. | `TOUCHPAD
]
type input_mode = [
  1. | `DISABLED
  2. | `SCREEN
  3. | `WINDOW
]
type device_type = [
  1. | `MASTER
  2. | `SLAVE
  3. | `FLOATING
]
type visual_type = [
  1. | `STATIC_GRAY
  2. | `GRAYSCALE
  3. | `STATIC_COLOR
  4. | `PSEUDO_COLOR
  5. | `TRUE_COLOR
  6. | `DIRECT_COLOR
]
type drag_action = [
  1. | `DEFAULT
  2. | `COPY
  3. | `MOVE
  4. | `PRIVATE
  5. | `ASK
]
type drag_protocol = [
  1. | `NONE
  2. | `MOTIF
  3. | `XDND
  4. | `ROOTWIN
  5. | `WIN32_DROPFILES
  6. | `OLE2
  7. | `LOCAL
  8. | `WAYLAND
]
type xdata = [
  1. | `BYTES
  2. | `SHORTS
  3. | `INT32S
  4. | `NONE
]
type property_state = [
  1. | `NEW_VALUE
  2. | `DELETE
]
type property_mode = [
  1. | `REPLACE
  2. | `PREPEND
  3. | `APPEND
]
type window_class = [
  1. | `INPUT_OUTPUT
  2. | `INPUT_ONLY
]
type window_type = [
  1. | `ROOT
  2. | `TOPLEVEL
  3. | `CHILD
  4. | `TEMP
  5. | `FOREIGN
  6. | `OFFSCREEN
  7. | `SUBSURFACE
]
type window_attributes_type = [
  1. | `TITLE
  2. | `X
  3. | `Y
  4. | `CURSOR
  5. | `VISUAL
  6. | `WMCLASS
  7. | `NOREDIR
  8. | `TYPE_HINT
]
type window_hints = [
  1. | `POS
  2. | `MIN_SIZE
  3. | `MAX_SIZE
  4. | `BASE_SIZE
  5. | `ASPECT
  6. | `RESIZE_INC
  7. | `WIN_GRAVITY
  8. | `USER_POS
  9. | `USER_SIZE
]
type wm_decoration = [
  1. | `ALL
  2. | `BORDER
  3. | `RESIZEH
  4. | `TITLE
  5. | `MENU
  6. | `MINIMIZE
  7. | `MAXIMIZE
]
type wm_function = [
  1. | `ALL
  2. | `RESIZE
  3. | `MOVE
  4. | `MINIMIZE
  5. | `MAXIMIZE
  6. | `CLOSE
]
type gravity = [
  1. | `NORTH_WEST
  2. | `NORTH
  3. | `NORTH_EAST
  4. | `WEST
  5. | `CENTER
  6. | `EAST
  7. | `SOUTH_WEST
  8. | `SOUTH
  9. | `SOUTH_EAST
  10. | `STATIC
]
type window_edge = [
  1. | `NORTH_WEST
  2. | `NORTH
  3. | `NORTH_EAST
  4. | `WEST
  5. | `EAST
  6. | `SOUTH_WEST
  7. | `SOUTH
  8. | `SOUTH_EAST
]
type fullscreen_mode = [
  1. | `ON_CURRENT_MONITOR
  2. | `ON_ALL_MONITORS
]
type modifier = [
  1. | `SHIFT
  2. | `LOCK
  3. | `CONTROL
  4. | `MOD1
  5. | `MOD2
  6. | `MOD3
  7. | `MOD4
  8. | `MOD5
  9. | `BUTTON1
  10. | `BUTTON2
  11. | `BUTTON3
  12. | `BUTTON4
  13. | `BUTTON5
  14. | `SUPER
  15. | `HYPER
  16. | `META
  17. | `RELEASE
]
type modifier_intent = [
  1. | `PRIMARY_ACCELERATOR
  2. | `CONTEXT_MENU
  3. | `EXTEND_SELECTION
  4. | `MODIFY_SELECTION
  5. | `NO_TEXT_INPUT
  6. | `SHIFT_GROUP
  7. | `DEFAULT_MOD_MASK
]
type status = [
  1. | `OK
  2. | `ERROR
  3. | `ERROR_PARAM
  4. | `ERROR_FILE
  5. | `ERROR_MEM
]
type grab_status = [
  1. | `SUCCESS
  2. | `ALREADY_GRABBED
  3. | `INVALID_TIME
  4. | `NOT_VIEWABLE
  5. | `FROZEN
  6. | `FAILED
]
type grab_ownership = [
  1. | `NONE
  2. | `WINDOW
  3. | `APPLICATION
]
type event_mask = [
  1. | `EXPOSURE
  2. | `POINTER_MOTION
  3. | `POINTER_MOTION_HINT
  4. | `BUTTON_MOTION
  5. | `BUTTON1_MOTION
  6. | `BUTTON2_MOTION
  7. | `BUTTON3_MOTION
  8. | `BUTTON_PRESS
  9. | `BUTTON_RELEASE
  10. | `KEY_PRESS
  11. | `KEY_RELEASE
  12. | `ENTER_NOTIFY
  13. | `LEAVE_NOTIFY
  14. | `FOCUS_CHANGE
  15. | `STRUCTURE
  16. | `PROPERTY_CHANGE
  17. | `VISIBILITY_NOTIFY
  18. | `PROXIMITY_IN
  19. | `PROXIMITY_OUT
  20. | `SUBSTRUCTURE
  21. | `SCROLL
  22. | `TOUCH
  23. | `SMOOTH_SCROLL
  24. | `TOUCHPAD_GESTURE
  25. | `ALL_EVENTS
]
type gl_error = [
  1. | `NOT_AVAILABLE
  2. | `UNSUPPORTED_FORMAT
  3. | `UNSUPPORTED_PROFILE
]
type window_type_hint = [
  1. | `NORMAL
  2. | `DIALOG
  3. | `MENU
  4. | `TOOLBAR
  5. | `SPLASHSCREEN
  6. | `UTILITY
  7. | `DOCK
  8. | `DESKTOP
  9. | `DROPDOWN_MENU
  10. | `POPUP_MENU
  11. | `TOOLTIP
  12. | `NOTIFICATION
  13. | `COMBO
  14. | `DND
]
type axis_use = [
  1. | `IGNORE
  2. | `X
  3. | `Y
  4. | `PRESSURE
  5. | `XTILT
  6. | `YTILT
  7. | `WHEEL
  8. | `LAST
]
type cursor_type = [
  1. | `X_CURSOR
  2. | `ARROW
  3. | `BASED_ARROW_DOWN
  4. | `BASED_ARROW_UP
  5. | `BOAT
  6. | `BOGOSITY
  7. | `BOTTOM_LEFT_CORNER
  8. | `BOTTOM_RIGHT_CORNER
  9. | `BOTTOM_SIDE
  10. | `BOTTOM_TEE
  11. | `BOX_SPIRAL
  12. | `CENTER_PTR
  13. | `CIRCLE
  14. | `CLOCK
  15. | `COFFEE_MUG
  16. | `CROSS
  17. | `CROSS_REVERSE
  18. | `CROSSHAIR
  19. | `DIAMOND_CROSS
  20. | `DOT
  21. | `DOTBOX
  22. | `DOUBLE_ARROW
  23. | `DRAFT_LARGE
  24. | `DRAFT_SMALL
  25. | `DRAPED_BOX
  26. | `EXCHANGE
  27. | `FLEUR
  28. | `GOBBLER
  29. | `GUMBY
  30. | `HAND1
  31. | `HAND2
  32. | `HEART
  33. | `ICON
  34. | `IRON_CROSS
  35. | `LEFT_PTR
  36. | `LEFT_SIDE
  37. | `LEFT_TEE
  38. | `LEFTBUTTON
  39. | `LL_ANGLE
  40. | `LR_ANGLE
  41. | `MAN
  42. | `MIDDLEBUTTON
  43. | `MOUSE
  44. | `PENCIL
  45. | `PIRATE
  46. | `PLUS
  47. | `QUESTION_ARROW
  48. | `RIGHT_PTR
  49. | `RIGHT_SIDE
  50. | `RIGHT_TEE
  51. | `RIGHTBUTTON
  52. | `SAILBOAT
  53. | `SB_DOWN_ARROW
  54. | `SB_H_DOUBLE_ARROW
  55. | `SB_LEFT_ARROW
  56. | `SB_RIGHT_ARROW
  57. | `SB_UP_ARROW
  58. | `SB_V_DOUBLE_ARROW
  59. | `SHUTTLE
  60. | `SIZING
  61. | `SPIDER
  62. | `SPRAYCAN
  63. | `STAR
  64. | `TARGET
  65. | `TCROSS
  66. | `TOP_LEFT_ARROW
  67. | `TOP_LEFT_CORNER
  68. | `TOP_RIGHT_CORNER
  69. | `TOP_SIDE
  70. | `TOP_TEE
  71. | `TREK
  72. | `UL_ANGLE
  73. | `UMBRELLA
  74. | `UR_ANGLE
  75. | `WATCH
  76. | `XTERM
]
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct