private void registerEdgeColorOptions(Options rootOptions, HelpLocation help) {
		Options options = rootOptions.getOptions(EDGE_COLORS);

		for (String edgeType : graphType.getEdgeTypes()) {
			if (edgeRegistrations.containsKey(edgeType)) {
				options.registerThemeColorBinding(edgeType, edgeRegistrations.get(edgeType), help,
					"Choose the color for this edge type");
			}
		}
		List<String> list = new ArrayList<>(graphType.getEdgeTypes());
		options.registerOptionsEditor(() -> new ScrollableOptionsEditor(EDGE_COLORS, list));
	}
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