{
	"definitions": {},
	"$schema": "http://json-schema.org/draft-07/schema#",
	"$id": "http://example.com/root.json",
	"type": "object",
	"title": "The Root Schema",
	"required": ["version", "name", "dirty", "windows", "type"],
	"properties": {
		"version": {
			"$id": "#/properties/version",
			"type": "string",
			"title": "The Version Schema",
			"default": "",
			"examples": ["1.0.0"],
			"pattern": "^(.*)$"
		},
		"name": {
			"$id": "#/properties/name",
			"type": "string",
			"title": "The Name Schema",
			"default": "",
			"examples": ["ws"],
			"pattern": "^(.*)$"
		},
		"dirty": {
			"$id": "#/properties/dirty",
			"type": "boolean",
			"title": "The Dirty Schema",
			"default": false,
			"examples": [false]
		},
		"windows": {
			"$id": "#/properties/windows",
			"type": "array",
			"title": "The Windows Schema",
			"default": null,
			"changeme": ""
		},
		"type": {
			"$id": "#/properties/type",
			"type": "string",
			"title": "The Type Schema",
			"default": "",
			"examples": ["workspace"],
			"pattern": "^(.*)$"
		}
	}
}