@Override
	public void setFont(FontValue newValue) {
		currentValues.addFont(newValue);
	}
Version of ThemeManager that is used before an application or test installs a full
ApplicationThemeManager. Provides enough basic functionality used by the Gui class to
allow simple unit tests to run.
Ghidra/Framework/Gui/src/main/java/generic/theme/StubThemeManager.java