public void groupRemoved(GroupedFunctionGraphVertex group) {
		group.removeGroupListener(groupListener);

		Set<FGVertex> groupVertices = group.getVertices();
		if (hasExistingGroupInfo(groupVertices)) {
			return;
		}

		GroupHistoryInfo info = new GroupHistoryInfo(this, group);
		notifyVerticesOfGroupAssociation(groupVertices, info);
		groupHistorySet.add(info);
	}
A signal to this graph that a group has been ungrouped.
@param group the ungrouped group
Ghidra/Features/FunctionGraph/src/main/java/ghidra/app/plugin/core/functiongraph/graph/FunctionGraph.java