public void setVertexSelectionColor(String themeColorId) {
		this.vertexSelectionColor = new GColor(themeColorId);
		defaultRegistrations.put(VERTEX_SELECTION_COLOR, themeColorId);
	}
Sets the vertex selection color using the theme color defined by the given color id. This
method will allow the property to be registered to the tool options.
@param themeColorId the color id to use for highlighting vertices.
Ghidra/Framework/Graph/src/main/java/ghidra/service/graph/GraphDisplayOptions.java