123124125126127128129130131132133
@Override public void mouseWheelScrolled(Event event, EditPartViewer viewer) { if (previousEditDomain != null) { Tool tool = previousEditDomain.getActiveTool(); if (tool != null) tool.mouseWheelScrolled(event, viewer); } } } /**