package lablgtk3

  1. Overview
  2. Docs
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.