int notches = e.getWheelRotation();
TestbedTest currTest = model.getCurrTest();
if (currTest == null) {
return;
}
ZoomType zoom = notches < 0 ? ZoomType.ZOOM_IN : ZoomType.ZOOM_OUT;
currTest.getCamera().zoomToPoint(mouse, zoom);
}
});
panel.addMouseListener(new MouseAdapter() {