package lablgtk3

  1. Overview
  2. Docs
OCaml interface to GTK+3

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (15)

Authors

  1. Jacques Garrigue

Maintainers

  1. G
    garrigue@math.nagoya-u.ac.jp

Sources

lablgtk3-3.1.1.tbz
sha256=22c7061c8acb49c1ccd0a19396d2b1d7d1d677e0ce7954122404be94a00fecf9
sha512=193c340d9941680869eb90bc89f5b27cc5bdf294f4635081a9ba56a99fa2982266c4ee2eb5fd04d3a3f6150082800de5df786def8c72a276a779d843d914e9e3

doc/lablgtk3/GdkEnums/index.html

Module GdkEnums

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
]