Module GdkEventSource

Sourceval copy : ([< Gdk.Tags.event_type ] as 'a) Gdk.event -> 'a Gdk.event
Sourceval get_type : 'a Gdk.event -> 'a
Sourceval get_window : 'a Gdk.event -> Gdk.window
Sourceval get_send_event : 'a Gdk.event -> bool
Sourcetype timed = [
  1. | `MOTION_NOTIFY
  2. | `BUTTON_PRESS
  3. | `TWO_BUTTON_PRESS
  4. | `THREE_BUTTON_PRESS
  5. | `BUTTON_RELEASE
  6. | `SCROLL
  7. | `KEY_PRESS
  8. | `KEY_RELEASE
  9. | `ENTER_NOTIFY
  10. | `LEAVE_NOTIFY
  11. | `PROPERTY_NOTIFY
  12. | `SELECTION_CLEAR
  13. | `SELECTION_REQUEST
  14. | `SELECTION_NOTIFY
  15. | `PROXIMITY_IN
  16. | `PROXIMITY_OUT
  17. | `DRAG_ENTER
  18. | `DRAG_LEAVE
  19. | `DRAG_MOTION
  20. | `DRAG_STATUS
  21. | `DROP_START
  22. | `DROP_FINISHED
]
Sourceval get_time : [< timed ] Gdk.event -> int32
Sourceval create : ([< Gdk.Tags.event_type ] as 'a) -> 'a Gdk.event
Sourceval set_window : 'a Gdk.event -> Gdk.window -> unit
Sourceval cast : kind:([< Gdk.Tags.event_type ] as 'a) list -> any -> 'a Gdk.event
Sourcemodule Expose : sig ... end
Sourcemodule Visibility : sig ... end
Sourcemodule Motion : sig ... end
Sourcemodule Button : sig ... end
Sourcemodule Scroll : sig ... end
Sourcemodule Key : sig ... end
Sourcemodule Crossing : sig ... end
Sourcemodule Focus : sig ... end
Sourcemodule Configure : sig ... end
Sourcemodule Property : sig ... end
Sourcemodule Selection : sig ... end
Sourcemodule Proximity : sig ... end
Sourcemodule Setting : sig ... end
Sourcemodule WindowState : sig ... end