Method run

src/main/java/gate/gui/CorpusEditor.java:155–167

()

            // select the moved/already existing documents
            SwingUtilities.invokeLater(new Runnable() {
              @Override
              public void run() {
                docTable.clearSelection();
                for (String documentName : documentsNames) {
                  for (int row = 0; row < docTable.getRowCount(); row++) {
                    if (docTable.getValueAt(
                          row, docTable.convertColumnIndexToView(1))
                        .equals(documentName)) {
                      docTable.addRowSelectionInterval(row, row);
                    }
                  }
                }
              }
            });
            changeMessage();
            return true;