//combo.setBackground(ColorConstants.white);
combo.setToolTipText("Rendering protocol");
combo.addModifyListener(new ModifyListener() {
public void modifyText(final ModifyEvent e) {
RenderingEditor editor = ((RenderingEditor) PlatformUI
.getWorkbench().getActiveWorkbenchWindow()
.getActivePage().getActiveEditor());
switch (combo.getSelectionIndex()) {
case 0:
editor.setProtocol(new BreadthFirstProtocol(
ShapeGrammarModel.ACTIVE_SHAPE_GRAMMAR, 0));
break;
case 1:
editor.setProtocol(new DepthFirstProtocol(
ShapeGrammarModel.ACTIVE_SHAPE_GRAMMAR, 0));
break;
default:
editor.setProtocol(new SubShapeProtocol(
ShapeGrammarModel.ACTIVE_SHAPE_GRAMMAR, 0, true));
}
selectedIndex = combo.getSelectionIndex();
}