if (extension.getAttribute("contributorId").equals(HTMLEditor.TABBED_PROPERTIES_CONTRIBUTOR_ID)){ //$NON-NLS-1$
IConfigurationElement[] sections = extension
.getChildren(ELEMENT_SECTION);
for (int j = 0; j < sections.length; j++) {
IConfigurationElement section = sections[j];
ISectionDescriptor descriptor = new QuickEditTabSectionDescriptor(
section, null);//ITypeMapper set to null
result.add(descriptor);
}
}
}