private void addViewerSelectionListener() {
tv.setSelection(new StructuredSelection(Arrays.asList(mixedSelection.getValue().toArray())));
tv.addSelectionChangedListener(
new ISelectionChangedListener() {
public void selectionChanged(SelectionChangedEvent event) {
mixedSelection.getElements().refresh();
}
});
}
protected Collection<BootDashElement> getSelectedElements() {
return selection.getValue();
}