public static void registerFont(JComponent component, int fontStyle) {

		if (fontStyle == Font.PLAIN) {
			Msg.warn(Gui.class,
				"Gui.registerFont(Component, int) may only be used for a non-plain font style.  " +
					"Use registerFont(Component, String) instead.");
			return;
		}

		String id = component.getUIClassID(); // e.g., ButtonUI
		String name = id.substring(0, id.length() - 2); // strip off "UI"
		String fontId = FontValue.LAF_ID_PREFIX + name + FONT_SUFFIX; // e.g., laf.font.Button.font 

		themeManager.registerFont(component, fontId, fontStyle);
	}
Registers the given component with the given font style.  This method allows clients to not
define a font id in the theme system, but instead to signal that they want the default font
for the given component, modified with the given style.  As the underlying font is changed,
the client will be updated with that new font with the given style applied.
<P>
Most clients should <b>not</b> be using this method.  Instead, use
{@link #registerFont(JComponent, int)}.
<P>
The downside of using this method is that the end user cannot modify the style of the font.
By using the standard theming mechanism for registering fonts, the end user has full control.

@param component the component to set/update the font
@param fontStyle the font style, one of Font.BOLD, Font.ITALIC,
Ghidra/Framework/Gui/src/main/java/generic/theme/Gui.java