private void emptySelection() { final ProcessingResult processingResult = this.editor.getSearchResult().getProcessingResult(); if (processingResult == null) { target.clear(); } else { target.show(processingResult); } }
public void selectionChanged(SelectionChangedEvent event) { logger.debug("editor->doclist: " + event.getSelection()); if (event.getSelection() instanceof ClusterSelection) { final ClusterSelection sel = (ClusterSelection) event.getSelection(); if (sel.isEmpty()) { emptySelection(); } else { target.show((Cluster[]) sel.toArray()); } } }