[web] Disable various editor buttons during network stall (#34247)

Co-authored-by: Davinder Singh <davibaweja@gmail.com> GitOrigin-RevId: 9e169f3591cfff2fdae63b461b946fde4611f2d7
2026-11-14 06:03:45 +01:00 · 2026-09-17 11:25:49 +00:00
parent 8741846df8
commit 1acb00407e
21 changed files with 351 additions and 20 deletions
@@ -20,6 +20,7 @@ const defaultIdeReactContextValue = {
 const defaultUnsavedDocsContextValue = {
  unsavedDocs: new Map<string, number>(),
  isLocked: false,
+  isSavingStalled: false,
 }

 const mount = ({