private void registerVertexColorOptions(Options rootOptions, HelpLocation help) {
		Options options = rootOptions.getOptions(VERTEX_COLORS);

		for (String vertexType : graphType.getVertexTypes()) {
			if (vertexRegistrations.containsKey(vertexType)) {
				options.registerThemeColorBinding(vertexType, vertexRegistrations.get(vertexType),
					help, "Choose the color for this vertex type");
			}
		}
		List<String> list = new ArrayList<>(graphType.getVertexTypes());
		options.registerOptionsEditor(() -> new ScrollableOptionsEditor(VERTEX_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