diff options
Diffstat (limited to 'extension/schema')
-rw-r--r-- | extension/schema/FullState.d.ts | 2 | ||||
-rw-r--r-- | extension/schema/SessionInfo.d.ts | 18 |
2 files changed, 18 insertions, 2 deletions
diff --git a/extension/schema/FullState.d.ts b/extension/schema/FullState.d.ts index 0095f41b..2938e012 100644 --- a/extension/schema/FullState.d.ts +++ b/extension/schema/FullState.d.ts @@ -26,7 +26,6 @@ export type Timeline = HistoryNode[]; export type CurrentIndex = number; export type Active1 = boolean; export type UserInputQueue = string[]; -export type DefaultModel = string; export type Name3 = string; export type Description1 = string; export type SlashCommands = SlashCommandDescription[]; @@ -47,7 +46,6 @@ export interface FullState1 { history: History; active: Active1; user_input_queue: UserInputQueue; - default_model: DefaultModel; slash_commands: SlashCommands; adding_highlighted_code: AddingHighlightedCode; selected_context_items: SelectedContextItems; diff --git a/extension/schema/SessionInfo.d.ts b/extension/schema/SessionInfo.d.ts new file mode 100644 index 00000000..ac94e76d --- /dev/null +++ b/extension/schema/SessionInfo.d.ts @@ -0,0 +1,18 @@ +/* eslint-disable */ +/** + * This file was automatically generated by json-schema-to-typescript. + * DO NOT MODIFY IT BY HAND. Instead, modify the source JSONSchema file, + * and run json-schema-to-typescript to regenerate this file. + */ + +export type SessionInfo = SessionInfo1; +export type SessionId = string; +export type Title = string; +export type DateCreated = string; + +export interface SessionInfo1 { + session_id: SessionId; + title: Title; + date_created: DateCreated; + [k: string]: unknown; +} |