Merge branch 'main' into one-folder

2026-04-21 09:27:55 +08:00
parent d9323d7399 a2333e6bb4
commit 58b48e2bfe
20 changed files with 539 additions and 112 deletions
--- a/src/lib/types.ts
+++ b/src/lib/types.ts
@@ -880,6 +880,7 @@ export interface WorkspaceDeltaEnvelope {
  kind: "fs_delta" | "git_delta" | "meta" | "resync_hint" | string
  payload: WorkspaceDelta[]
  requires_resync: boolean
+  changed_paths?: string[]
 }

 export interface WorkspaceStateEvent {
@@ -889,6 +890,7 @@ export interface WorkspaceStateEvent {
  kind: "fs_delta" | "git_delta" | "meta" | "resync_hint" | string
  payload: WorkspaceDelta[]
  requires_resync: boolean
+  changed_paths?: string[]
 }

 export interface WorkspaceSnapshotResponse {