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