public void setVertexColor(String vertexType, String themeColorId) {
		checkVertexType(vertexType);
		vertexColorMap.put(vertexType, new GColor(Objects.requireNonNull(themeColorId)));
		vertexRegistrations.put(vertexType, themeColorId);
	}
Sets the vertex color using a theme color id. By using a theme color id, this property
is eligible to be registered as a tool option.
@param vertexType the vertex type for which to set its color
@param themeColorId the theme color id of the color for this vertex type
Ghidra/Framework/Graph/src/main/java/ghidra/service/graph/GraphDisplayOptions.java