public void setFont(String id, Font font) {
		setFont(new FontValue(id, font));
	}
Updates the current font for the given id.
@param id the font id to update to the new color
@param font the new font for the id
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemeManager.java