Support destroying workspacePool from menu

Author: intitni

ExtensionService/AppDelegate+Menu.swift

@@ -2,6 +2,8 @@ import AppKit
 import Foundation
 import Preferences
 import XcodeInspector
+import Dependencies
+import Workspace
 
 extension AppDelegate {
     fileprivate var statusBarMenuIdentifier: NSUserInterfaceItemIdentifier {
@@ -95,6 +97,12 @@ extension AppDelegate {
             action: #selector(reactivateObservationsToXcode),
             keyEquivalent: ""
         )
+        
+        let resetWorkspacesItem = NSMenuItem(
+            title: "Reset workspaces",
+            action: #selector(destroyWorkspacePool),
+            keyEquivalent: ""
+        )
 
         reactivateObservationsItem.target = self
 
@@ -108,6 +116,7 @@ extension AppDelegate {
         statusBarMenu.addItem(xcodeInspectorDebug)
         statusBarMenu.addItem(accessibilityAPIPermission)
         statusBarMenu.addItem(reactivateObservationsItem)
+        statusBarMenu.addItem(resetWorkspacesItem)
         statusBarMenu.addItem(quitItem)
 
         statusBarMenu.delegate = self
@@ -248,6 +257,13 @@ private extension AppDelegate {
             )
         }
     }
+    
+    @objc func destroyWorkspacePool() {
+        @Dependency(\.workspacePool) var workspacePool: WorkspacePool
+        Task {
+            await workspacePool.destroy()
+        }
+    }
 }
 
 private extension NSMenuItem {

Tool/Sources/Workspace/WorkspacePool.swift

@@ -68,6 +68,11 @@ public class WorkspacePool {
         }
         return nil
     }
+    
+    @WorkspaceActor
+    public func destroy() {
+        workspaces = [:]
+    }
 
     @WorkspaceActor
     public func fetchOrCreateWorkspace(workspaceURL: URL) async throws -> Workspace {