public void setFont(String themeFontId) {
		this.themeFontId = themeFontId;
		this.font = Gui.getFont(themeFontId);
	}
Sets the font to use for drawing vertex labels
@param font  the font to use for drawing vertex labels
Ghidra/Framework/Graph/src/main/java/ghidra/service/graph/GraphDisplayOptions.java