docs: @Override
      public void updateSourceText(Dim.SourceInfo sourceInfo) {
          RunProxy proxy = new RunProxy(this, RunProxy.UPDATE_SOURCE_TEXT);
          proxy.sourceInfo = sourceInfo;
          SwingUtilities.invokeLater(proxy);
      }