@Override
	public void workspaceRemoved(Workspace ws) {
		if (ws == null) {
			return;
		}

		String workspaceName = ws.getName();
		workspaceModel.removeElement(workspaceName);

		RunningToolsPanel rtp = runningToolsMap.get(workspaceName);
		runningToolsMap.remove(workspaceName);
		runningToolsCardPanel.remove(rtp);
	}
called when a workspace is removed by the ToolManager
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java