Module Gdk.Tags

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 property_state = [
  1. | `NEW_VALUE
  2. | `DELETE
]
type xdata = [
  1. | `BYTES of string
  2. | `SHORTS of int array
  3. | `INT32S of int32 array
]
type xdata_ret = [
  1. | xdata
  2. | `NONE
]
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
]