break;
case AbstractViewEvent.ZOOM_ABSOLUTE:
editor.zoom(Integer.parseInt((String) event.getData()), true);
break;
case AbstractViewEvent.COLORING:
editor.toggleUnderstandColoring();
break;
case AbstractViewEvent.OPEN_TOKENGAME:
editor.toggleTokenGame();
break;
case AbstractViewEvent.CLOSE_TOKENGAME: