protected void repaintAll() {
		for (Window window : Window.getWindows()) {
			window.repaint();
		}
	}
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