protected void notifyThemeChanged(ThemeEvent event) {
		for (ThemeListener listener : themeListeners) {
			listener.themeChanged(event);
		}
	}
Returns true if the theme system is in the process of updating
@return true if the theme system is in the process of updating
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemeManager.java