GraphEnvironmentMousePlugin.java 文件源码

@Override
public void mouseWheelMoved(MouseWheelEvent me) {

    Point2D mouse = me.getPoint();
    Point2D center = this.getVisViewer().getCenter();
    int amount = me.getWheelRotation();

    if(zoomAtMouse) {
        if(amount > 0) {
            scaler.scale(this.getVisViewer(), out, mouse);
        } else if(amount < 0) {
            scaler.scale(this.getVisViewer(), in, mouse);
        }

    } else {
        if(amount > 0) {
            scaler.scale(this.getVisViewer(), out, center);
        } else if(amount < 0) {
            scaler.scale(this.getVisViewer(), in, center);
        }
        }
        me.consume();

}