.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));