ThemeRegistryReader reader = new ThemeRegistryReader();
reader.setRegistry((ThemeRegistry) WorkbenchPlugin.getDefault()
.getThemeRegistry());
IConfigurationElement[] elements = ext.getConfigurationElements();
for (int i = 0; i < elements.length; i++) {
reader.readElement(elements[i]);
}
Collection fonts = reader.getFontDefinitions();
FontDefinition[] fontDefs = (FontDefinition[]) fonts
.toArray(new FontDefinition[fonts.size()]);