man Gdk.Property () - no description
NAME
Gdk.Property - no description
Module
Module Gdk.Property
Documentation
Module Property : sig end
val change : window:Gdk.window -> typ:Gdk.atom -> ?mode:Gdk.Tags.property_mode -> Gdk.atom -> Gdk.Tags.xdata -> unit
val get : window:Gdk.window -> ?max_length:int -> ?delete:bool -> Gdk.atom -> (Gdk.atom * Gdk.Tags.xdata) option
val delete : window:Gdk.window -> Gdk.atom -> unit