public void save(GTheme theme) {
		Preferences.setProperty(THEME_PREFFERENCE_KEY, theme.getThemeLocater());
		Preferences.store();
	}
Saves the current theme choice to {@link Preferences}.
@param theme the theme to remember in {@link Preferences}
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemePreferences.java