private void registerVertexShapeOptions(Options rootOptions, HelpLocation help) {
		Options options = rootOptions.getOptions(VERTEX_SHAPES);

		List<String> shapeNames = VertexShape.getShapeNames();

		for (String vertexType : graphType.getVertexTypes()) {
			options.registerOption(vertexType, OptionType.STRING_TYPE,
				getVertexShapeName(vertexType), help, "Choose the shape for this vertex type",
				() -> new StringWithChoicesEditor(shapeNames));
		}
		List<String> list = new ArrayList<>(graphType.getVertexTypes());
		options.registerOptionsEditor(() -> new ScrollableOptionsEditor(VERTEX_SHAPES, 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