haddenindustries.com

{
  "type": "object",
  "properties": {
    "format": {
      "type": "string",
      "enum": [
        "svg",
        "vowl-json",
        "turtle",
        "latex"
      ],
      "default": "svg",
      "description": "Artifact format, matching the Export menu."
    },
    "filename": {
      "type": "string",
      "description": "Name for the exported file, using the selected format suffix.",
      "minLength": 1,
      "maxLength": 128
    },
    "settleTimeoutMs": {
      "type": "integer",
      "description": "How long to wait for the layout to settle.",
      "minimum": 1000,
      "maximum": 30000,
      "default": 12000
    },
    "onTimeout": {
      "type": "string",
      "description": "Fail if the layout has not settled, or export anyway.",
      "enum": [
        "fail",
        "best-effort"
      ],
      "default": "fail"
    }
  },
  "required": [],
  "additionalProperties": false
}