diff options
Diffstat (limited to 'schema')
| -rw-r--r-- | schema/json/FullState.json | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/schema/json/FullState.json b/schema/json/FullState.json index 21db438a..b11ebfe1 100644 --- a/schema/json/FullState.json +++ b/schema/json/FullState.json @@ -245,6 +245,29 @@ "content" ] }, + "SessionInfo": { + "title": "SessionInfo", + "type": "object", + "properties": { + "session_id": { + "title": "Session Id", + "type": "string" + }, + "title": { + "title": "Title", + "type": "string" + }, + "date_created": { + "title": "Date Created", + "type": "string" + } + }, + "required": [ + "session_id", + "title", + "date_created" + ] + }, "src__continuedev__core__main__FullState": { "title": "FullState", "description": "A full state of the program, including the history", @@ -281,6 +304,9 @@ "items": { "$ref": "#/definitions/ContextItem" } + }, + "session_info": { + "$ref": "#/definitions/SessionInfo" } }, "required": [ |