private void getContributions(IPreferenceStore store) {
try {
IExtensionRegistry registry = Platform.getExtensionRegistry();
IExtensionPoint point =
registry.getExtensionPoint(
HTMLPlugin.getDefault().getPluginId() + ".preferenceContributer");
IExtension[] extensions = point.getExtensions();
for (int i = 0; i < extensions.length; i++) {
IConfigurationElement[] elements = extensions[i].getConfigurationElements();
for (int j = 0; j < elements.length; j++) {
if ("contributer".equals(elements[j].getName())) {
IHTMLPreferenceContributer contributer =
(IHTMLPreferenceContributer) elements[j].createExecutableExtension("class");
contributer.initializeDefaultPreferences(store);
}
}
}
} catch (Exception ex) {
HTMLPlugin.logException(ex);
}
}
