diff options
Diffstat (limited to 'extension/schema/SessionInfo.d.ts')
-rw-r--r-- | extension/schema/SessionInfo.d.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extension/schema/SessionInfo.d.ts b/extension/schema/SessionInfo.d.ts index ac94e76d..80e3e527 100644 --- a/extension/schema/SessionInfo.d.ts +++ b/extension/schema/SessionInfo.d.ts @@ -9,10 +9,12 @@ export type SessionInfo = SessionInfo1; export type SessionId = string; export type Title = string; export type DateCreated = string; +export type WorkspaceDirectory = string; export interface SessionInfo1 { session_id: SessionId; title: Title; date_created: DateCreated; + workspace_directory?: WorkspaceDirectory; [k: string]: unknown; } |