}
//TODO: confirm
private void loadThemes(IExtension ext) {
ThemeRegistryReader reader = new ThemeRegistryReader();
ThemeRegistry registry = (ThemeRegistry) WorkbenchPlugin.getDefault()
.getThemeRegistry();
reader.setRegistry(registry);
IConfigurationElement[] elements = ext.getConfigurationElements();
for (int i = 0; i < elements.length; i++) {
reader.readElement(elements[i]);
}
Collection colors = reader.getColorDefinitions();
ColorDefinition[] colorDefs = (ColorDefinition[]) colors
.toArray(new ColorDefinition[colors.size()]);
ITheme theme = workbench.getThemeManager().getTheme(
IThemeManager.DEFAULT_THEME);
ThemeElementHelper.populateRegistry(theme, colorDefs, PrefUtil
.getInternalPreferenceStore());
Collection fonts = reader.getFontDefinitions();
FontDefinition[] fontDefs = (FontDefinition[]) fonts
.toArray(new FontDefinition[fonts.size()]);
ThemeElementHelper.populateRegistry(theme, fontDefs, PrefUtil
.getInternalPreferenceStore());
Map data = reader.getData();
registry.addData(data);
}