Add readonly to workspace arrays

This was a change in coder/coder.

Author: code-asher

src/api-helper.ts

@@ -11,7 +11,7 @@ export function errToStr(error: unknown, def: string) {
   return def
 }
 
-export function extractAllAgents(workspaces: Workspace[]): WorkspaceAgent[] {
+export function extractAllAgents(workspaces: readonly Workspace[]): WorkspaceAgent[] {
   return workspaces.reduce((acc, workspace) => {
     return acc.concat(extractAgents(workspace))
   }, [] as WorkspaceAgent[])

src/commands.ts

@@ -238,7 +238,7 @@ export class Commands {
       quickPick.value = "owner:me "
       quickPick.placeholder = "owner:me template:go"
       quickPick.title = `Connect to a workspace`
-      let lastWorkspaces: Workspace[]
+      let lastWorkspaces: readonly Workspace[]
       quickPick.onDidChangeValue((value) => {
         quickPick.busy = true
         getWorkspaces({

src/workspaceAction.ts

@@ -21,14 +21,14 @@ export class WorkspaceAction {
   #POLL_INTERVAL: number = 1000 * 5
   #fetchWorkspacesInterval?: ReturnType<typeof setInterval>
 
-  #ownedWorkspaces: Workspace[] = []
+  #ownedWorkspaces: readonly Workspace[] = []
   #workspacesApproachingAutostop: NotifiedWorkspace[] = []
   #workspacesApproachingDeletion: NotifiedWorkspace[] = []
 
   private constructor(
     private readonly vscodeProposed: typeof vscode,
     private readonly storage: Storage,
-    ownedWorkspaces: Workspace[],
+    ownedWorkspaces: readonly Workspace[],
   ) {
     this.#ownedWorkspaces = ownedWorkspaces