Module GdkEvent.Property

module Property: sig .. end

type t = [ `PROPERTY_NOTIFY ] Gdk.event 

val cast : GdkEvent.any -> t

val atom : t -> Gdk.atom

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

val state : t -> int