| { |
| "$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" |
| ] |
| } |
