private void updateView(@UIEventTopic(WorkbenchEventConstants.REFRESH_NAVIGATOR)TaxonNodeDto dto){
if(dto!= null){
Object[] expandedElements = viewer.getExpandedElements();
+
refresh();
- viewer.reveal(dto);
viewer.setExpandedElements(expandedElements);
+ viewer.reveal(dto);
viewer.setSelection(new StructuredSelection(dto));
}
@Optional
private void updateView(@UIEventTopic(WorkbenchEventConstants.REFRESH_NAVIGATOR)boolean refresh){
if(refresh){
+ Object[] expandedElements = viewer.getExpandedElements();
refresh();
+ viewer.setExpandedElements(expandedElements);
+
}
}
}