code: private void updateTextArea(String value) {
  
          String oldValue = m_textArea.getValue();
          if (!oldValue.equals(value)) {
              int l1 = oldValue.split("\n").length;
              int l2 = value.split("\n").length;
              m_textArea.setValue(value);
              if (l1 != l2) {
                  scheduleResize();
              }
          }
      }
docs: Updates the content of the internal textarea.<p>
  
  @param value the new content