130131132133134135136137138139140
break; case AbstractViewEvent.PASTE: editor.paste(); break; case AbstractViewEvent.PASTE_AT: editor.pasteAtMousePosition(); break; case AbstractViewEvent.REDO: editor.redo(); break; case AbstractViewEvent.UNDO: