displayArea.setLayout(gridLayout);
displayArea.setLayoutData(data);
// add the style categories tree to this display area
styleCategoriesComposite = new StyleCategoriesComposite(displayArea,
new ProxyProvider() {
// Javadoc inherited
public Proxy getProxy() {
return styleProperties;
}
},