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