124125126127128129130131132133134
break; case AbstractViewEvent.CUT: editor.cutSelection(); break; case AbstractViewEvent.COPY: editor.copySelection(); break; case AbstractViewEvent.PASTE: editor.paste(); break; case AbstractViewEvent.PASTE_AT: