Remove unused property visible

code-asher · code-asher · commit 809c2c3f397e · 2024-06-13T11:46:30.000-08:00
diff --git a/src/workspacesProvider.ts b/src/workspacesProvider.ts
@@ -35,7 +35,6 @@ export class WorkspaceProvider implements vscode.TreeDataProvider<vscode.TreeIte
   private workspaces: WorkspaceTreeItem[] = []
   private agentWatchers: Record<WorkspaceAgent["id"], AgentWatcher> = {}
   private timeout: NodeJS.Timeout | undefined
-  private visible = false
   private fetching = false
 
   constructor(
@@ -147,7 +146,6 @@ export class WorkspaceProvider implements vscode.TreeDataProvider<vscode.TreeIte
    * Either start or stop the refresh timer based on visibility.
    */
   setVisibility(visible: boolean) {
-    this.visible = visible
     if (!visible) {
       this.cancelPendingRefresh()
     } else {
