sig
type t =
[ `SELECTION_CLEAR | `SELECTION_NOTIFY | `SELECTION_REQUEST ] Gdk.event
val cast : GdkEvent.any -> GdkEvent.Selection.t
external selection : GdkEvent.Selection.t -> Gdk.atom
= "ml_GdkEventSelection_selection"
external target : GdkEvent.Selection.t -> Gdk.atom
= "ml_GdkEventSelection_target"
external property : GdkEvent.Selection.t -> Gdk.atom
= "ml_GdkEventSelection_property"
external requestor : GdkEvent.Selection.t -> Gdk.xid
= "ml_GdkEventSelection_requestor"
val time : [< GdkEvent.timed ] Gdk.event -> int32
end