{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Pi workflows settings",
  "type": "object",
  "additionalProperties": false,
  "required": ["version"],
  "properties": {
    "$schema": {
      "type": "string"
    },
    "version": {
      "const": 1
    },
    "statusShortcut": {
      "type": "string",
      "default": "ctrl+alt+w",
      "minLength": 1,
      "maxLength": 64,
      "pattern": "^\\S+$",
      "description": "Pi key identifier used to toggle workflow status. Restart extensions with Pi /reload after changing it."
    }
  }
}