Module GdkEvent.Selection

module Selection: sig .. end

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

val cast : GdkEvent.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 : [< GdkEvent.timed ] Gdk.event -> int32