Theming widgets.
Theming is done by defining default properties for Widget.widget classes (the class_ parameter in widget creation) and names (the name parameter in widget creation).
val variables : t -> Yojson.Safe.t Misc.SMap.tGet variables of theme.
val get_or_create : string -> tget_or_create name returns the theme with the given name if it exists, else creates it.
val set_current : t -> unitset_curent t sets theme t as current theme. It will be used by newly created widgets.
val current : unit -> tcurrent () returns the current theme.
init () initializes default themes. It is called by App.init.
val of_class : ?name:string -> string -> Props.tof_class ?name class_ returns the properies associated to class_ and optional name in current theme.
val load_theme : Misc.SMap.key -> Yojson.Safe.t -> unitload_theme name json create or modifies theme t from the given JSON description.
val to_json : t -> Yojson.Safe.tto_json returns a JSON representation of the given theme.
val to_string : t -> stringto_string t returns a JSON string representing the theme t.
val add_class : ?inherits:string list -> string -> Props.t -> unitadd_class ?inherits class_ props associates the properties props to the given class_ in the current theme. inherits specifies which classes this class inherited properties from, in the given order.
val extend_current_from_json : Yojson.Safe.t -> unitextend_current_from_json json extends current theme with JSON description.