@Override
	public void registerThemeFontBinding(String optionName, String fontId, HelpLocation help,
			String description) {
		if (Gui.getFont(fontId) == null) {
			throw new IllegalArgumentException("Invalid theme font id: \"" + fontId + "\"");
		}
		Option currentOption = getExistingComptibleOption(optionName, OptionType.FONT_TYPE);
		if (currentOption != null && currentOption instanceof ThemeFontOption) {
			currentOption.updateRegistration(description, help, null, null);
			return;
		}
		description += " (Theme Font: " + fontId + ")";
		Option option = new ThemeFontOption(optionName, fontId, description, help);
		themeToOptionMap.put(fontId, optionName);
		valueMap.put(optionName, option);
	}
Sets the name for this Options object.  Used when updating old options names to new names.
@param newName the new name for this options object.
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/AbstractOptions.java