| { |
| "$schema": "http://json-schema.org/draft-04/schema#", |
| "title": "RequestConsole", |
| "type": "object", |
| "additionalProperties": true, |
| "properties": { |
| "lastEditedApp": { |
| "description": "The last edited app.", |
| "type": "string" |
| }, |
| "lastEditedSetup": { |
| "description": "The last edited setup.", |
| "type": "string" |
| }, |
| "appForListingSetups": { |
| "description": "App path used to list setups to be loaded.", |
| "type": "string" |
| }, |
| "confirmExit": { |
| "description": "Whether we ask if the setup is to be saved when trying to exit RequestConsole.", |
| "type": "boolean", |
| "default": false |
| } |
| }, |
| "required": ["lastEditedApp"] |
| } |