public void actionPerformed(ActionEvent e) { textView.copy(); }
public void copy() { textView.copy(); }