133134135136137138139140141142143
break; case AbstractViewEvent.PASTE_AT: editor.pasteAtMousePosition(); break; case AbstractViewEvent.REDO: editor.redo(); break; case AbstractViewEvent.UNDO: editor.undo(); break; case AbstractViewEvent.UNGROUP: