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