public void paste() {
   editor.paste();
 }