@Override
public void doubleClick(DoubleClickEvent event) {
- LOGGER.info("event " + event);
TreeSelection selection = (TreeSelection) viewer.getSelection();
DiagramRegion region = (DiagramRegion) selection.getFirstElement();
ZoomToRegionHandler.zoomTo(viewer.getControl(), getDisplay(), region.getResource());
public Object[] getElements(Object inputElement) {
if (inputElement == null && (!(inputElement instanceof Collection)))
return new Object[0];
- Set<DiagramRegion> set = (Set) inputElement;
+ @SuppressWarnings("unchecked")
+ Set<DiagramRegion> set = (Set<DiagramRegion>) inputElement;
return set.toArray();
}