package lablgtk3

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