{
    "$schema": "http://json-schema.org/draft-04/schema#",
    "title": "CustomizableApp",
    "type": "object",
    "additionalProperties": false,
    "properties": {
        "setup": {
            "description": "The initial setup to load.",
            "type": "string"
        },
        "overlayOpacity": {
            "description": "The opacity of the overlay when the gui is busy.",
            "type": "number",
            "default": 0.0,
            "minimum": 0.0,
            "exclusiveMinimum": false,
            "maximum": 1.0,
            "exclusiveMaximum": false
        },
        "overlayEnabledOnSelect": {
            "description": "Whether we show the overlay when selection changes.",
            "type": "boolean",
            "default": true
        },
        "overlayEnabledOnSetData": {
            "description": "Whether we show the overlay when a setData occures (e.g. when pressing a button).",
            "type": "boolean",
            "default": true
        },
        "refreshInterval": {
            "description": "The period in milliseconds in which requests are sent to the server.",
            "type": "integer",
            "default": 1000
        },
        "filesToInclude": {
            "description": "Additional javascript files that will be included at start.",
            "type": "array",
            "items": {
                "type": "string",
                "title": "Javascript files"
            },
            "format": "table"
        },
        "apiExtension": {
            "description": "The extension used by the api.",
            "type": "string",
            "default": "dsapi"
        }
    },
    "required": [
        "setup"
    ]
}