fn emit_worker_removed(
workspace: &Arc<Workspace>,
project_key: &ProjectKey,
entry: &WorkerEntry,
worktree: WorktreeDisposition,
)Expand description
Announce a torn-down worker to the views, carrying what became of its worktree.
fn emit_worker_removed(
workspace: &Arc<Workspace>,
project_key: &ProjectKey,
entry: &WorkerEntry,
worktree: WorktreeDisposition,
)Announce a torn-down worker to the views, carrying what became of its worktree.