GraphMouseImpl.java 文件源码

public void mouseWheelMoved(MouseWheelEvent e) {
    double rotation = e.getWheelRotation();
    double sensitivity = 0.05;
    double zx, zy;
    double scaling = zoom > 1 ? 1 : renderer.getScaleFactor();

    zoom += rotation * sensitivity * scaling;
    zoomPos = renderer.screenToWorld(e.getPoint());
    zx = zoomPos.getX() * scaling;
    zy = zoomPos.getY() * scaling;
    zoomPos.setLocation(zx, zy);

    renderer.scale(zoom, zoomPos);
    renderer.repaint();
}