@Override
	public void setGraphMouse(GraphMouse graphMouse) {
		if (!(graphMouse instanceof VisualGraphPluggableGraphMouse)) {
			// our parent class will install a graph mouse that is not ours
			return;
		}
		super.setGraphMouse(graphMouse);
	}
Called to signal that the options used by this viewer have changed
Ghidra/Framework/Graph/src/main/java/ghidra/graph/viewer/SatelliteGraphViewer.java