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