private ObjectListSelector addPseudoElementSelector(Composite parent,
String[] selectorTemplates,
String[] selectorDisplay,
String[] selectorParameterised,
IndependentValidator validator) {
final ObjectListSelector selector =
new ObjectListSelector(parent, SWT.NORMAL,
PARSER_FACTORY.createPseudoElementSelectorParser(),
new PseudoElementProviderFactory(selectorTemplates,
selectorDisplay, selectorParameterised),
validator, false,
PSEUDO_ELEMENT_SELECTOR_RESOURCE_PREFIX);
GridData objectSelectorGridData = new GridData(GridData.FILL_HORIZONTAL);
selector.setLayoutData(objectSelectorGridData);
return selector;
}