docs: public void updateText(Dim.SourceInfo sourceInfo) {
          this.sourceInfo = sourceInfo;
          String newText = sourceInfo.source();
          if (!textArea.getText().equals(newText)) {
              textArea.setText(newText);
              int pos = 0;
              if (currentPos != -1) {
                  pos = currentPos;
              }
              textArea.select(pos);
          }
          fileHeader.update();
          fileHeader.repaint();
      }