(windowID: string)
| 350 | } |
| 351 | |
| 352 | function windowStorage(windowID: string) { |
| 353 | const safe = (windowID || "browser").replace(/[^a-zA-Z0-9._-]/g, "-") |
| 354 | return `${WINDOW_STORAGE}.${safe}.dat` |
| 355 | } |
| 356 | |
| 357 | function legacyWorkspaceStorage(dir: string) { |
| 358 | const storage = workspaceStorage(pathKey(dir)) |