From 0757bd2b556996b9c434ac43e3e4a3b042ef5802 Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Fri, 25 Aug 2023 16:59:02 -0700 Subject: feat: :sparkles: filter history by workspace --- schema/json/ContinueConfig.json | 13 +++++++++++-- schema/json/FullState.json | 10 +++++----- schema/json/SessionInfo.json | 4 ++++ 3 files changed, 20 insertions(+), 7 deletions(-) (limited to 'schema/json') diff --git a/schema/json/ContinueConfig.json b/schema/json/ContinueConfig.json index 0e82bf67..b4f104cd 100644 --- a/schema/json/ContinueConfig.json +++ b/schema/json/ContinueConfig.json @@ -115,7 +115,7 @@ } } }, - "ContinueSDK": { + "src__continuedev__core__models__ContinueSDK": { "title": "ContinueSDK", "type": "object", "properties": {} @@ -144,7 +144,7 @@ "$ref": "#/definitions/LLM" }, "sdk": { - "$ref": "#/definitions/ContinueSDK" + "$ref": "#/definitions/src__continuedev__core__models__ContinueSDK" } }, "required": [ @@ -207,6 +207,12 @@ "type": "object", "properties": {} }, + "src__continuedev__core__context__ContinueSDK": { + "title": "ContinueSDK", + "description": "To avoid circular imports", + "type": "object", + "properties": {} + }, "ContextItemId": { "title": "ContextItemId", "description": "A ContextItemId is a unique identifier for a ContextItem.", @@ -286,6 +292,9 @@ "title": "Title", "type": "string" }, + "sdk": { + "$ref": "#/definitions/src__continuedev__core__context__ContinueSDK" + }, "selected_items": { "title": "Selected Items", "default": [], diff --git a/schema/json/FullState.json b/schema/json/FullState.json index 9f75930f..1db72ad9 100644 --- a/schema/json/FullState.json +++ b/schema/json/FullState.json @@ -260,6 +260,10 @@ "date_created": { "title": "Date Created", "type": "string" + }, + "workspace_directory": { + "title": "Workspace Directory", + "type": "string" } }, "required": [ @@ -280,11 +284,7 @@ "title": "Temperature", "type": "number" } - }, - "required": [ - "system_message", - "temperature" - ] + } }, "src__continuedev__core__main__FullState": { "title": "FullState", diff --git a/schema/json/SessionInfo.json b/schema/json/SessionInfo.json index 5857a724..6bccfb2f 100644 --- a/schema/json/SessionInfo.json +++ b/schema/json/SessionInfo.json @@ -17,6 +17,10 @@ "date_created": { "title": "Date Created", "type": "string" + }, + "workspace_directory": { + "title": "Workspace Directory", + "type": "string" } }, "required": [ -- cgit v1.2.3-70-g09d2