Module GdkEvent

val unsafe_copy : Gpointer.boxed -> [< Gdk.Tags.event_type ] Gdk.event
val copy : ([< Gdk.Tags.event_type ] as 'a) Gdk.event -> 'a Gdk.event
val get_type : 'a Gdk.event -> 'a
val get_window : 'a Gdk.event -> Gdk.window
val get_send_event : 'a Gdk.event -> bool
type 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
]
val get_time : [< timed ] Gdk.event -> int32
val create : ([< Gdk.Tags.event_type ] as 'a) -> 'a Gdk.event
val set_window : 'a Gdk.event -> Gdk.window -> unit
val cast : kind:([< Gdk.Tags.event_type ] as 'a) list -> any -> 'a Gdk.event
module Expose : sig ... end
module Visibility : sig ... end
module Motion : sig ... end
module Button : sig ... end
module Scroll : sig ... end
module Key : sig ... end
module Crossing : sig ... end
module Focus : sig ... end
module Configure : sig ... end
module Property : sig ... end
module Selection : sig ... end
module Proximity : sig ... end
module Setting : sig ... end
module WindowState : sig ... end