HistoryFileView.java 文件源码

private void setSelection(final Node[] nodes) {
SwingUtilities.invokeLater(new Runnable() {
@Override
    public void run() {
        try {
            tablePanel.getExplorerManager().setSelectedNodes(nodes);
        } catch (PropertyVetoException ex) {
            // ignore
        }
    }
});                                             
}