606607608609610611612613614
public void mouseWheelMoved(MouseWheelEvent e) { if (lastImageDimension == null) return; sendActivity(new MouseWheeledVideoActivity(e.getX(), e.getY(), lastImageDimension.width, lastImageDimension.height, e.getWheelRotation())); }