Module Scripting.ConfigSource

Sourcetype config = {
  1. dirs : string list;
  2. rendering_config : SvgLib.Svg.config;
  3. step_by_step : bool;
  4. with_magic : bool;
  5. width : int option;
}