*/
  public void setText(String[] lines) {
    code.clear();
    if (lines == null || lines.length == 0) {
      code.add(new StringBuilder());
    } else {
      for (String line : lines) {
        code.add(line);
      }
    }
    if (code.isEmpty()) {
      code.add("");  //$NON-NLS-1$
    }
    fireLineChange(0, code.size());
    doCodeSize(true);
  }