{
	"autosave-delay": {
		"type": "int",
		"value": 30
	},
	"autosave-mode": {
		"type": "ENUM(overwrite,backup)",
		"value": "backup"
	},
	"confirm-exit": {
		"type": "boolean",
		"value": true
	},
	"default-mt-dcl": {
		"type": "ENUM(JAVASCRIPT,PYTHON)",
		"value": "PYTHON"
	},
	"autoloaded-toolbars": {
		"type": "list<string>",
		"value": [
			"/Toolbars/CompileMenu/CompileMenu.buttons.model",
			"/Toolbars/TransformationController/TransformationController.buttons.model",
			"/Toolbars/TransformationEditor/TransformationEditor.buttons.model",
			"/Formalisms/Workflows/Workflow.buttons.model"
		]
	},
	"autoloaded-model": {
		"type": "string",
		"value": ""
	}
}