Module `GdkEvent.Selection`

type t = [ `SELECTION_CLEAR | `SELECTION_REQUEST | `SELECTION_NOTIFY ] Gdk.event

val cast : any -> t

val selection : t -> Gdk.atom
val target : t -> Gdk.atom
val property : t -> Gdk.atom
val requestor : t -> Gdk.native_window

val time : [< timed ] Gdk.event -> int32