@Override
	public void toolRemoved(Workspace ws, PluginTool tool) {
		removeTool(ws.getName(), tool);
		plugin.getToolActionManager().enableConnectTools();
	}
Tool was removed from the given workspace.
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java