private void notifyListeners() {
		for (ChangeListener changeListener : changeListeners) {
			changeListener.stateChanged(new ChangeEvent(this));
		}
	}
Loads values from tool options

@param tool the tool from which to update values.
Ghidra/Framework/Graph/src/main/java/ghidra/service/graph/GraphDisplayOptions.java