// put preferences according to mappings
IPreferenceStore store = Activator.getDefault().getPreferenceStore();
if (store.getBoolean("forceDefaultBG")) {
defaultBackground = theme.get("background");
} else {
defaultBackground = new ColorThemeSetting();
}
for (String pluginKey : mappings.keySet()) {
ColorThemeMapping mapping = (overrideMappings != null && overrideMappings.containsKey(pluginKey)) ?
overrideMappings.get(pluginKey) : mappings.get(pluginKey);
ColorThemeSetting setting = theme.get(mapping.getThemeKey());
if (setting != null) {
mapping.putPreferences(preferences, setting);
}
}
}