// if selected from the menu, check selection
checkSelection(resultTable);
}
Clipboard clipboard = new Clipboard(event.display);
clipboard.setContents(new Object[] {resultTable.getItem(resultTable.getSelectionIndex()).getText()}, new Transfer[] {TextTransfer.getInstance()});
clipboard.dispose();
}
}
public static final class CopyIPDetails implements Listener {
private final ResultTable resultTable;