@Override
	public void selectionChanged(Set<AttributedVertex> vertices) {
		super.selectionChanged(vertices);
		controller.setSelection(vertices);
	}
{@link GraphDisplayListener} that handle events back and from program
graphs.
Ghidra/Features/Sarif/src/main/java/sarif/SarifGraphDisplayListener.java