Module Values_1.PaletteHeaderSource

Contains color configuration for header elements in a workspace theme.

Sourcetype nonrec t = {
  1. background : ThemeString.t option;
    (*

    The background color of the header.

    *)
  2. text : ThemeString.t option;
    (*

    The text color in the header.

    *)
  3. textHover : ThemeString.t option;
    (*

    The text color when hovering over header elements.

    *)
  4. invertActionsColors : Values_0.Boolean.t option;
    (*

    Whether to invert the colors of action buttons in the header.

    *)
}
Sourceval make : ?background:??? -> ?text:??? -> ?textHover:??? -> ?invertActionsColors:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Boolean of Values_0.Boolean.t | `String of ThemeString.t ]) list ]
Sourceval to_query : t -> Awso.Client.Query.t
Sourceval of_xml : Awso.Xml.t -> t
Sourceval of_string : string -> t
Sourceval of_json : Yojson.Safe.t -> t
Sourceval to_json : t -> Yojson.Safe.t