public void setTextAreaWidth(int width) {
   textArea.setWidth(width + "px");
 }