break;
case AbstractViewEvent.GRAPHBEAUTIFIER:
editor.startBeautify(0,0,0);
break;
case AbstractViewEvent.GRAPHBEAUTIFIER_ADV:
editor.advancedBeautifyDialog();
break;
case AbstractViewEvent.TOKENGAME_BACKWARD:
case AbstractViewEvent.TOKENGAME_JUMPINTO:
case AbstractViewEvent.TOKENGAME_FORWARD: