public void optionsChanged() {
		if (graphComponent != null) { // will be null after being closed
			graphComponent.optionsChanged();
		}
	}
Called when the options used by this graph view have changed
Ghidra/Framework/Graph/src/main/java/ghidra/graph/viewer/VisualGraphView.java