@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());