public void fontsChanged(Set<String> changedFontIds) {
		UIDefaults defaults = UIManager.getDefaults();
		for (String changedFontId : changedFontIds) {
			// even though all these derive from the new font, they might be different
			// because of FontModifiers.
			Font font = Gui.getFont(changedFontId);
			String javaFontId = normalizedIdToLafIdMap.get(changedFontId);
			if (javaFontId != null) {
				// lafFontId is null for group ids
				defaults.put(javaFontId, new FontUIResource(font));
			}
		}

		if (!changedFontIds.isEmpty()) {
			updateComponentUis();
		}

		updateAllRegisteredComponentFonts();
		repaintAll();
	}
Called when one or more fonts have changed.
<p>
This will update the Java {@link UIManager} and trigger a reload of the UIs.

@param changedFontIds the set of Java Font ids that are affected by this change; these are
the normalized ids
Ghidra/Framework/Gui/src/main/java/generic/theme/laf/LookAndFeelManager.java