private void themeChanged(ThemeEvent e) {
		// We are only sending out OptionsChangedEvents in response to Font theme changes. We
		// don't notify options changed for colors because we expect clients are using GColor
		// which updates automatically, so should need to be notified via options.

		if (!e.hasAnyFontChanged()) {
			return;
		}
		for (String fontId : themeToOptionMap.keySet()) {
			if (e.isFontChanged(fontId)) {
				String optionName = themeToOptionMap.get(fontId);
				notifyOptionChanged(optionName, null, Gui.getFont(fontId));
			}
		}
	}
Returns true if the given string is in the searchString and not between a pair of quotes.
Note the character MUST NOT BE a quote.
@param stringToSearch the string to search
@param textToLocate the text to search for.
@return true if the given text is in the searchString and not between a pair of quotes.
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/AbstractOptions.java