Module Logger.ProfileSource

Sourcetype t = {
  1. name : string;
  2. debug : font;
  3. step : font;
  4. info : font;
  5. result : font;
  6. warning : font;
  7. error : font;
  8. fatal : font;
}
Sourceval default : t
Sourceval default_light : t
Sourceval light : t
Sourceval dark : t
Sourceval of_string : string -> t

of_string s returns the profile named s.

Sourceval all_profiles : t list