/** Focus on the text area editor */
 public void focus() {
   textArea.setFocus(true);
 }